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 a conjecture of Iglehart Article
Management Science, 21(11), 1342-1345.July 1975
-
August 1975
-
August 1975 -
An extension of unification to substitutions with an application to automatic theorem proving In Proceedings
September 1975 -
October 1975
-
Stabilized Runge-Kutta methods for second order differential equations without first derivatives Tech Report
December 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