CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
An example of non-convex minimization and an application to Newton's problem of the body of least resistance Article
Annales de l'Institut Henri Poincaré - Nonlinear Analysis, 18(2), 179-198.January 2001 -
Tableau reasoning and programming with dynamic first order logic Article
Logic Journal of the IGPL, 9(3), 411-445.D.J.N. van Eijck (Jan), J.M. Heguiabehere and B. Ó Nualláin (Breanndán)
January 2001 -
Using coordination to restructure sequential source code into a concurrent program In Proceedings
C.T.H. Everaars (Kees), F. Arbab (Farhad) and B. Koren (Barry)
January 2001 -
On the construction of deflation-based preconditioners Article
SIAM Journal on Scientific Computing, 442-462.January 2001
-
Riemann-problem and level-set approaches for two-fluid flow computations II. Fixes for solution errors near interfaces. Tech Report
B. Koren (Barry), M.R. Lewis (Mervyn), E.H. van Brummelen (Harald) and B. van Leer
January 2001
-
A numerical study of mixed parabolic-gradient systems In Proceedings
January 2001 -
Finite contractions of graphs with polynomial growth Article
European Journal of Combinatorics, 22(1), 85-90.A. Lukács and N. Seifter
January 2001 -
Parallel iteration of the extended backward differentiation formulas Article
IMA Journal of Numerical Analysis, 21(1), 367-385.January 2001