Publication

Colloquium onderwerpen uit de biomathematica, vol. 2 Book

J.W. de Roever

Colloquium numerieke programmatuur 2 Book

H.J.J. te Riele (Herman)

Checking Landau's 'Grundlagen' in the AUTOMATH system Dissertation

L.S. van Benthem Jutting

A digiset simulator Tech Report

P.J.W. ten Hagen (Paul) and H. Noot (Han)

A numerical study of stiff two-point boundary problems Dissertation

P.W. Hemker (Piet)

Towards the design of a super-language of ALGOL 68 for the Standard Prelude (Excerpt) In Proceedings

Grune, D. (Dick)

Towards a machine-independent transput section In Proceedings

Van Vliet, J.C. (J. C.)

Een pak met een korte broek Papers presented to H.W. Lenstra, jr. on the occasion of the publication of his dissertation "Euclidische getallenlichamen" Book