Centrum Wiskunde & Informatica

Elements of stream calculus : an extensive exercise in coinduction Tech Report

J.J.M.M. Rutten (Jan)

January 2001
Typed combinators for generic traversal Tech Report

R. Lämmel (Ralf) and J. Vonk

January 2001
Disambiguation filters for scannerless generalized LR parsers Tech Report

M.G.J. van den Brand (Mark), J. Scheerder, J.J. Vinju (Jurgen) and E. Visser (Eelco)

January 2001
Riemann-problem and level-set approaches for two-fluid flow computations I. Linearized Godunov scheme Tech Report

B. Koren (Barry), M.R. Lewis (Mervyn), E.H. van Brummelen (Harald) and B. van Leer

January 2001
Conservation properties of smoothed particle hydrodynamics applied to the shallow water equations Tech Report

J.E. Frank (Jason) and S. Reich

January 2001
A comparison of operator splitting and approximate matrix factorization for the shallow water equations in spherical geometry Tech Report

D. Lanser (Debby)

January 2001
Symbolic evaluation of coefficients in Airy-type asymptotic expansions Tech Report

R. Vidunas and N.M. Temme (Nico)

January 2001
Evaluation of the modified Bessel function of the third kind of imaginary orders Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2001

Previous

Next