A digiset simulator Tech Report

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

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

L.S. van Benthem Jutting

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

Euclidische getallenlichamen Dissertation

H.W. Lenstra (Hendrik)

Exponential convergence of products of stochastic matrices Article

J.M. Anthonisse and H.C. Tijms (Henk)