CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1996
-
A calculus for sequential logic with 4 values Tech Report
January 1996
-
Benchmarking stiff ODE solvers for atmorspheric chemistry problems II: Rosenbrock solvers Tech Report
A. Sandu, J.G. Verwer (Jan), J.G. Blom (Joke), E.J. Spee (Edwin) and G.R. Carmichael
January 1996
-
On periodic Pollaczek waiting time processes In Proceedings
January 1996 -
Implicit coercions in type systems In Proceedings
January 1996 -
An implementation of the number field sieve Article
Experimental Mathematics, 5(3), 231-253.January 1996
-
January 1996
-
January 1996