Abstract is missing.
- Rigorous Global Search: Industrial ApplicationsGeorge F. Corliss, R. Baker Kearfott. 1-16 [doi]
- Influences of Rounding Errors in Solving Large Sparse Linear SystemsAxel Facius. 17-30 [doi]
- A Hardware Approach to Interval Arithmetic for Sine and Cosine FunctionsJavier Hormigo, Julio Villalba, Emilio L. Zapata. 31-41 [doi]
- Towards an optimal control of the wrapping effectWolfgang Kühn. 43-51 [doi]
- On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher's Interval ArithmeticAnatoly V. Lakeyev. 53-65 [doi]
- A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian QuadratureBruno Lang. 67-75 [doi]
- INTLAB - INTerval LABoratorySiegfried M. Rump. 77-104 [doi]
- Verified calculation of the solution of algebraic Riccati equationWolfram Luther, Werner Otten. 105-118 [doi]
- Expression Concepts in Scientific ComputingMichael Lerch. 119-130 [doi]
- Performance Evaluation Technique STU and libavi LibraryRafael Sagula, Tiarajú Asmuz Diverio, João Netto. 131-140 [doi]
- Single-Number Interval I/OMichael J. Schulte, Vitaly Zelov, G. William Walster, Dmitri Chiriaev. 141-148 [doi]
- Interval Analysis for Embedded SystemsKlaus Musch, Günter Schumacher. 149-158 [doi]
- Prediction by extrapolation for interval tightening methodsYahia Lebbah, Olivier Lhomme. 159-166 [doi]
- The Contribution of T. Sunaga to Interval Analysis and Reliable ComputingSvetoslav Markov, Kohshi Okumura. 167-188 [doi]
- Surface-to-surface intersection with complete and guaranteed resultsErnst Huber, Wilhelm Barth. 189-202 [doi]
- An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ℤ2Vincent Lefèvre. 203-212 [doi]
- Comparing Partial ConsistenciesHélène Collavizza, François Delobel, Michel Rueher. 213-228 [doi]
- Verified Computation of Fast Decreasing PolynomialsNeli S. Dimitrova, Svetoslav M. Markov. 229-240 [doi]
- An Accurate Distance-Calculation Algorithm for Convex PolyhedraEva Dyllong, Wolfram Luther, Werner Otten. 241-253 [doi]
- Verified Error Bounds for Linear Systems Through the Lanczos ProcessAndreas Frommer, Andre Weinberg. 255-267 [doi]
- A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and SlopesGerhard Heindl. 269-278 [doi]
- A Few Results on Table-Based MethodsJean-Michel Muller. 279-288 [doi]
- An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential EquationNedialko S. Nedialkov, Kenneth R. Jackson. 289-310 [doi]
- The Interval-Enhanced GNU Fortran CompilerMichael J. Schulte, Vitaly Zelov, Ahmet Akkas, James Craig Burley. 311-322 [doi]
- Outer Estimation of Generalized Solution Sets to Interval Linear SystemsSergey P. Shary. 323-335 [doi]
- A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point ArithmeticAdam W. Strzebonski. 337-346 [doi]
- A Numerical Verification Method of Solutions for the Navier-Stokes EquationsYoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao. 347-357 [doi]
- Convex Sets of Full Rank MatricesBarbara Kolodziejczak, Tomasz Szulc. 359-364 [doi]
- Multiaspect Interval TypesMichael Lerch, Jürgen Wolff von Gudenberg. 365-372 [doi]
- MATLAB-Based Analysis of Roundoff NoiseRezso Dunay, István Kollár. 373-382 [doi]
- SCAN-98 Collected BibliographyGeorge F. Corliss. 383-402 [doi]