Centrum Wiskunde & Informatica

Notes on completeness of the intuitionistic predicate calculus Tech Report

D. Leivant (Daniël)

January 1972
Cursus algebra 1971/1972 Tech Report

L.C.A. van Leeuwen

January 1972
Directe methodes Tech Report

R. Ploeger

January 1972
Numerical evaluation of functions arising from transformations of formal series Tech Report

N.M. Temme (Nico)

January 1972
Explicit and semi-implicit runge-kutta formulas for the integration of stiff equations Tech Report

P.J. van der Houwen (Piet)

January 1972
An asymptotic formula for the period of a Volterra-Lotka system Tech Report

J. Grasman (Johan) and E.J.M. Veling

January 1972
Een Algol 60 programma voor een Runge-Kutta-schema van variabele orde en graad Tech Report

M. Bakker (Miente)

January 1972
The addition formula for Jacobi polynomials and spherical harmonics : prepublication Tech Report

T.H. Koornwinder

January 1972

Previous

Next