Author of the publication

Interval Subroutine Library Mission.

, , , , and . Reliable Implementation of Real Number Algorithms, volume 5045 of Lecture Notes in Computer Science, page 28-43. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automatic Differentiation: Point and Interval., and . Encyclopedia of Optimization, Springer, (2009)Indefinite integration with validation., and . ACM Trans. Math. Softw., 15 (4): 375-393 (1989)Interval Testing Strategies Applied to COSY's Interval and Taylor Model Arithmetic., and . Numerical Software with Result Verification, volume 2991 of Lecture Notes in Computer Science, page 91-106. Springer, (2003)Interval Subroutine Library Mission., , , , and . Reliable Implementation of Real Number Algorithms, volume 06021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Cluster Methodology Defines Archetype Sentinel Consomic Rats., , , and . CIBCB, page 54-57. IEEE, (2007)Solving Ordinary Differential Equations Using Taylor Series., and . ACM Trans. Math. Softw., 8 (2): 114-144 (1982)Optimization Strategies for the Approximate GCD Problem., , and . ISSAC, page 228-235. ACM, (1998)Interval Arithmetic with Containment Sets., and . Computing, 78 (3): 251-276 (2006)Automatic Differentiation: Point and Interval Taylor Operators., and . Encyclopedia of Optimization, Springer, (2009)High-Order Stiff ODE Solvers via Automatic Differentiation and Rational Prediction., , , , , and . WNAA, volume 1196 of Lecture Notes in Computer Science, page 114-125. Springer, (1996)