Norris, Boyana; Balay, Satish; Benson, Steven; Diachin, Lori; Hovland, Paul; McInnes, Lois; Smith, B Parallel components for PDEs and optimization : some issues and experiences. Parallel Computing (2002)
Anitescu, Mihai On the rate of convergence of sequential quadratic programming with nondifferentiable exact penalty function in the presence of constraint degeneracy. Mathematical Programming (2002)
McCune, William; Veroff, Robert; Fitelson, Branden; Harris, Kenneth; Feist, Andrew; Wos, Lawrence Short single axioms for boolean algebra. Journal of Automated Reasoning (2002)
Anitescu, Mihai; Potra, Florian A time-stepping method for stiff multibody dynamics with contact and friction. International Journal for Numerical Methods in Engineering (2002)
Fischer, Paul; Kruse, G; Loth, Francis Spectral element methods for transitional flows, in complex geometries. Journal of Scientific Computing (2002)
Dolan, Elizabeth; Fourer, R; More, Jeannette; Munson, Todd The NEOS server for optimization version 4 and beyond. SIAM News (2002)
Wos, Lawrence; Ulrich, Dagny; Fitelson, Branden Vanquishing the XCB question : the methodology discovery of the last shortest single axiom for the equivalential calculus. Journal of Automated Reasoning (2002)
Restrepo, Juan; Leaf, Gary Noise effects on wave-generated transport induced by ideal waves. Journal of Physical Oceanography (2002)