default search action
Perspectives on Enclosure Methods, 2001
- Ulrich W. Kulisch, Rudolf Lohner, Axel Facius:
Perspectives on Enclosure Methods. Springer 2001, ISBN 978-3-211-83590-6 - Andreas Frommer:
Proving Conjectures by Use of Interval Arithmetic. 1-12 - Ulrich W. Kulisch:
Advanced Arithmetic for the Digital Computer - Interval Arithmetic Revisited. 15-70 - Axel Facius:
Highly Accurate Verified Error Bounds for Krylov Type Linear System Solvers. 77-97 - J. Hartmut Bleher:
Elements of Scientific Computing. 99-103 - John L. Gustafson:
The Mainstreaming of Interval Arithmetic. 105-117 - Henning Behnke, Ulrich Mertins:
Bounds for Eigenvalues with the Use of Finite Elements. 119-131 - Louis B. Rall, Thomas W. Reps:
Algorithmic Differencing. 133-146 - Bruno Lang:
A Comparison of Techniques for Evaluating Centered Forms. 149-155 - Günter Mayer, Ingo Warnke:
On the Limit of the Total Step Method in Interval Analysis. 157-171 - Jürgen Herzberger:
How Fast can Moore's Interval Integration Method Really be? 173-179 - Wolfram Luther, Eva Dyllong, Daniela Fausten, Werner Otten, Holger Traczinski:
Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments. 181-198 - Rudolf Lohner:
On the Ubiquity of the Wrapping Effect in the Computation of Error Bounds. 201-216 - Nedialko S. Nedialkov, Kenneth R. Jackson:
A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations. 219-263 - Mitsuhiro T. Nakao, Nobito Yamamoto:
A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular Elements. 265-275 - Dietmar Ratz:
Nonsmooth Global Optimization. 277-337
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-16 22:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: