Wos, Lawrence Note on McCune's article on discrimination trees. Journal of Automated Reasoning (1992)
Tjoa, I; Biegler, Lorenz A reduced successive quadratic programming strategy for errors-in-variables estimation. Computers & Chemical Engineering (1992)
Cai, Xiaoyin; Gropp, William; Keyes, David Convergence rate estimate for a domain decomposition method. Numerische Mathematik (1992)
Griewank, Andreas The global convergence of partitioned BFGS on problems with convex decompositions and lipschitzian gradients. Mathematical Programming (1991)
Chen, G Hyperbolic systems of conservation laws with symmetry. Communications in Partial Differential Equations (1991)
Winker, Steven Robbins algebra : conditions that make a near-Boolean algebra Boolean. Journal of Automated Reasoning (1990)
McCune, William An indexing mechanism for finding more general formulas. Association of Automated Reasoning Newsletter (1988)