Publication

Iterative methods for non-linear partial differential equations Book

J.M.L. Maubach

A bottom-up semantics for constructive negation Tech Report

A. Bossi, M. Fabris and M.C. Meo

Adaptive spline-wavelet image encoding and real-time synthesis In Proceedings

P.C. Marais, E.H. Blake (Edwin) and A.A.M. Kuijk (Fons)

Nineteenth conference on the mathematics of operations research, and: Fifth international workshop Landelijk Netwerk Mathematische Besliskunde : Lunteren, 11-14.01.1994 : program and abstracts Booklet

Local uniform grid refinement for time-dependent partial differential equations Dissertation

R.A. Trompert (Ronald)

Which data types have w-complete initial algebra specifications? Article

J.A. Bergstra (Jan) and J. Heering (Jan)

VLUGR3: a vectorizable adaptive grid solver for PDEs in 3D, part II: Code description Report

J.G. Blom (Joke) and J.G. Verwer (Jan)

Generating uniform user-interfaces Dissertation

J.W.C. Koorn