Author of the publication

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)

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

Solving Ordinary Differential Equations Using Taylor Series., and . ACM Trans. Math. Softw., 8 (2): 114-144 (1982)Industrial Applications of Interval Techniques.. Computer Arithmetic and Self-Validating Numerical Methods, volume 7 of Notes and reports in mathematics in science and engineering, Academic Press, (1990)Optimization Strategies for the Approximate GCD Problem., , and . ISSAC, page 228-235. ACM, (1998)Cluster Methodology Defines Archetype Sentinel Consomic Rats., , , and . CIBCB, page 54-57. IEEE, (2007)C-XSC: A C++ Class Library for Extended Scientific Computing, , , , , , and . Springer Berlin Heidelberg, (1993)ADIFOR - Generating Derivative Codes form Fortran Programs., , , , and . Sci. Program., 1 (1): 11-29 (1992)Rigorous Global Search: Industrial Applications., and . SCAN, page 1-16. Springer, (1998)Using ADA as a design language - classroom experience.. ACM Annual Conference, page 66-71. ACM, (1983)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)