Author of the publication

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)

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

Second Note on Basic Interval Arithmetic for IEEE754R., , , , and . Numerical Validation in Current Hardware Architectures, volume 08021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)Conversion Methods for Improving Structural Analysis of Differential-Algebraic Equation Systems., , and . CoRR, (2016)Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021., , and . Numerical Validation in Current Hardware Architectures, volume 5492 of Lecture Notes in Computer Science, page 1-6. Springer, (2008)Interval Subroutine Library Mission., , , , and . Reliable Implementation of Real Number Algorithms, volume 5045 of Lecture Notes in Computer Science, page 28-43. Springer, (2008)Experiences with Writing Library Software for an Attached Processor.. Softw., Pract. Exper., 15 (7): 705-714 (1985)Algorithm 648: NSDTST and STDTST: routines for assessing the performance of IV solvers., and . ACM Trans. Math. Softw., 13 (1): 28-34 (1987)Algorithm 789: SLTSTPAK: : a test package for Sturm-Liouville solvers.. ACM Trans. Math. Softw., 25 (1): 58-69 (1999)How AD can help solve differential-algebraic equations., , , and . Optimization Methods and Software, 33 (4-6): 729-749 (2018)Symbolic-numeric methods for improving structural analysis of differential-algebraic equation systems., , and . CoRR, (2015)Hierarchical Automatic Differentiation by Vertex Elimination and Source Transformation., , and . ICCSA (2), volume 2668 of Lecture Notes in Computer Science, page 115-124. Springer, (2003)