SIAM Conference on Optimization, Validated Computing 2002, and the Fields Institute Informal Working Group on Validated Optimization

Springer Science and Business Media LLC - Tập 8 - Trang 419-424 - 2002
R. Baker Kearfott1, G. William Walster2
1Department of Mathematics, University of Louisiana at Lafayette, Lafayette, USA
2Sun Microsystems, Inc., Menlo Park, USA