Publication

Geometric convergence of value-iteration in multichain Markov renewal programming Tech Report

P.J. Schweitzer and A. Federgruen

HIDACSYS: Computer Programs for Interactive Scanning Cytophotometry Article

M. van der Ploeg, K. van den Broek and A.W.M. Smeulders (Arnold)

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