CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
October 1975
-
On the completeness of the inductive assertion method Article
Journal of Computer and System Sciences, 11(3), 323-357.December 1975
-
Two efficient algorithms with guaranteed convergence for finding a zero of a function Article
ACM Transactions on Mathematical Software, 1(4), 330-345.December 1975
-
Stabilized Runge-Kutta methods for second order differential equations without first derivatives Tech Report
December 1975 -
January 1976 -
The dependence of some logical axioms on disjoint transversals and linked systems : (prepublication) Tech Report
January 1976 -
Each complete bipartite graph minus a matching is representable by line segments Tech Report
P. van Emde Boas (Peter), T.M.V. Janssen (Theo) and A. Schrijver (Lex)
January 1976 -
The wax bound for binary codes Tech Report
January 1976