Averick, Brett; Ortega, J Fast solution of nonlinear poisson-type equations. SIAM Journal on Scientific and Statistical Computing (1993)
Cody, W Algorithm XXX : functions to support the IEEE standard for binary floating-point arithmetic. ACM Transactions on Mathematical Software (1993)
Gaasterland, Theresa; Lobo, J Processing negation and disjunction in logic programs through integrity constraints. Journal of Intelligent Information Systems (1993)
Lusk, Ewing; McCune, William Uniform strategies : the CADE-11 theorem proving contest. Journal of Automated Reasoning (1993)
Logsdon, J; Biegler, Lorenz A relaxed reduced space SQP strategy for dynamic optimization problems. Computers & Chemical Engineering (1993)
Chen, G; Du, Q; Tadmor, Ellad Spectral viscosity approximations to multidimensional scalar conservation laws. Mathematics of Computation (1993)
Wos, Lawrence Automated reasoning answers open questions. Notices of the American Mathematical Society (1993)
Yang, X; Zabusky, N; Hawley, J; Chern, I-Liang Vorticity generation and evolution in shock-accelerated density-stratified interfaces. Physics of Fluids A: Fluid Dynamics (1992)