Volume 5,
Number 1,
February 1999
- Shen Zuhe, Vladik Kreinovich:
Preface.
1
Electronic Edition (link) BibTeX
- Kyoko Makino, Martin Berz:
Efficient Control of the Dependency Problem Based on Taylor Model Methods.
3-12
Electronic Edition (link) BibTeX
- Martin Berz, Kyoko Makino:
New Methods for High-Dimensional Verified Quadrature.
13-22
Electronic Edition (link) BibTeX
- Danqing Zhang, Weiguo Li, Shen Zuhe:
Solving Underdetermined Systems with Interval Methods.
23-33
Electronic Edition (link) BibTeX
- John Funge:
Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents.
35-61
Electronic Edition (link) BibTeX
- Gerhard Heindl:
How to Guarantee Finite Termination of Verifying Global Optimization Codes.
63-68
Electronic Edition (link) BibTeX
- Michael Lerch, Jürgen Wolff von Gudenberg:
Expression Templates for Dot Product Expressions.
69-80
Electronic Edition (link) BibTeX
- Olga Kosheleva, Vladik Kreinovich:
Error Estimation for Indirect Measurements: Interval Computation Problem Is (Slightly) Harder Than a Similar Probabilistic Computational Problem.
81-95
Electronic Edition (link) BibTeX
- Neli S. Dimitrova, Svetoslav Markov, Christian P. Ullrich:
Solving Linear Systems with Error Control: Minisymposium within the 4th International Conference NMA'98.
97-100
Electronic Edition (link) BibTeX
- Tibor Csendes:
SCAN-98: an IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics.
101-102
Electronic Edition (link) BibTeX
Volume 5,
Number 2,
May 1999
Volume 5,
Number 3,
August 1999
- Hélène Collavizza, François Delobel, Michel Rueher:
Comparing Partial Consistencies.
213-228
Electronic Edition (link) BibTeX
- Neli S. Dimitrova, Svetoslav M. Markov:
Verified Computation of Fast Decreasing Polynomials.
229-240
Electronic Edition (link) BibTeX
- Eva Dyllong, Wolfram Luther, Werner Otten:
An Accurate Distance-Calculation Algorithm for Convex Polyhedra.
241-253
Electronic Edition (link) BibTeX
- Andreas Frommer, Andre Weinberg:
Verified Error Bounds for Linear Systems Through the Lanczos Process.
255-267
Electronic Edition (link) BibTeX
- Gerhard Heindl:
A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes.
269-278
Electronic Edition (link) BibTeX
- Jean-Michel Muller:
A Few Results on Table-Based Methods.
279-288
Electronic Edition (link) BibTeX
- Nedialko S. Nedialkov, Kenneth R. Jackson:
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation.
289-310
Electronic Edition (link) BibTeX
- Michael J. Schulte, Vitaly Zelov, Ahmet Akkas, James Craig Burley:
The Interval-Enhanced GNU Fortran Compiler.
311-322
Electronic Edition (link) BibTeX
- Sergey P. Shary:
Outer Estimation of Generalized Solution Sets to Interval Linear Systems.
323-335
Electronic Edition (link) BibTeX
- Adam W. Strzebonski:
A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic.
337-346
Electronic Edition (link) BibTeX
- Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao:
A Numerical Verification Method of Solutions for the Navier-Stokes Equations.
347-357
Electronic Edition (link) BibTeX
Volume 5,
Number 4,
November 1999
Copyright © Sun May 17 00:17:54 2009
by Michael Ley (ley@uni-trier.de)
