NUMVEC FORTRAN library manual : chapter: simultaneous linear equations Tech Report

W. Hoffmann (Walter) and K. Potma

Increasing the real stability boundary of explicit methods Tech Report

B.P. Sommeijer (Ben)

An algebraic characterization of B-convergent Runge-Kutta methods Tech Report

W. Hundsdorfer (Willem) and J. Schneid

Kolmogorov complexity and its applications Tech Report

M. Li (Ming) and P.M.B. Vitányi (Paul)

Bewijzen in de wiskunde Book

Proceedings van het symposium wiskunde en de computer : [Amsterdam, 1989] Book

Local class field theory (by K. Iwasawa) - Local field theory (by J. Neukirch) Book Review

M. Hazewinkel (Michiel)

Control flow versus logic: a denotational and a declarative model for guarded Horn clauses In Proceedings

F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)