Abstract

This is the second issue containing full, traditionally refereed papers with material presented at the Validated Computing 2002 conference, held in Toronto, May 23 to May 25, 2002. (The ﬁrst issue was Volume 9, issue 2, April, 2003.) See [1] for a review of the conference, and see the web page http://www.cs.utep.edu/interval-comp/ interval.02/program.html for the conference program. Of the six papers in this issue, L. E. K. Achenie and M. Sinha (“Interval Global Optimization in Solvent Design”), as well as P. S. V. Nataraj and J. J. Barve (“Reli- able Computation of Frequency Response Plots for Nonrational Transfer Functions to Prescribed Accuracy”) describe signiﬁcant, successful new applications, where validation techniques are applied in new and effective ways. M. T. Nakao, Y. Watanabe, N. Yamamoto, and N. Takaaki (“Some Computer Assisted Proofs for Solutions of Heat Convection Problems”) as well as U. Schafer ¨ (“Accelerated Enclosure Methods for Ordinary Free Boundary Problems”) describe further advances in validated solutions of differential equations. W. Kramer and J. Wolff von Gudenberg (“Extended Interval Power Function”) consider practical considerations, as well as theory of extended arithmetic, in imple- mentation of interval extensions of the real power function. Finally, V. Kreinovich, L. Longpre, ´ and J. J. Buckley (“Are There Efﬁcient Necessary and Sufﬁcient Con- ditions for Straightforward Interval Computations to Be Exact”) treat theoretically the fundamental problem of estimating the overestimation in interval arithmetic. It has been a pleasure participating in Validated Computing 2002, and I thank everyone involved. References 1. Kearfott, R. B. and Walster, G. W.: SIAM Conference on Optimization, Validated Computing 2002, and the Fields Institute Informal Working Group on Validated Optimization. A Personal View, Reliable Computing 8 (5) (2002), pp. 419–424. R. Baker Kearfott rbk@louisiana.edu University of Louisiana at Lafayette

Journal

Reliable Computing
– Springer Journals

Published: Oct 4, 2004

Recommended Articles

Loading...

References

SIAM Conference on Optimization, Validated Computing 2002, and the Fields Institute Informal Working Group on Validated Optimization. A Personal View