CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
On the probabilistic complexity of numerically checking the binary Goldbach conjecture in certain intervals In Proceedings
January 1999 -
Numerical normalization techniques for all codim $2$ bifurcations of equilibria in ODE's Article
SIAM Journal on Numerical Analysis, 36(4), 1104-1124.January 1999
-
January 1999
-
January 1999
-
A note on coinduction and weak bisimilarity for while programs Article
Theoretical Informatics and Applications, 33(4-5), 393-400.January 1999 -
A logical analysis of Boolean constraints Article
JFAK. Essays dedicated to Johan van Benthem on the occasion of his 50th birthday, 1-16.January 1999
-
Non-existence and uniqueness results for fourth-order Hamiltonian systems Article
Nonlinearity, 12(6), 1555-1570.January 1999
-
A generalized hypergeometric function satisfying four analytic difference equations of Askey-Wilson type Article
Communications in Mathematical Physics, 206(3), 639-690.January 1999