Publication

Software development: science or patchwork? Tech Report

R.L. Baber

Recent progress on the numerical verification of the Riemann hypothesis Tech Report

J. van de Lune (Jan) and H.J.J. te Riele (Herman)

The day before tomorrow : report on a three week visit to China Tech Report

J.K. Lenstra (Jan Karel)

PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness In Proceedings

J.A. Bergstra (Jan) and J. Tiuryn

Algebraic tools for system construction In Proceedings

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and J.V. Tucker (John)

The numerical solution of nonlinear stiff initial value problems: an analysis of one-step methods Dissertation

W. Hundsdorfer (Willem)

Sums of equal powers of positive integers Dissertation

J. van de Lune (Jan)

Dopo le parole : aangeboden aan Dr. A.K. Lenstra Book