| Publication | Date of Publication | Type |
|---|
| High-order stiff ODE solvers via automatic differentiation and rational prediction | 2024-06-21 | Paper |
| An algorithm for disaggregating temporal natural gas consumption | 2016-07-08 | Paper |
| scientific article; zbMATH DE number 6202419 (Why is no real title available?) | 2013-08-28 | Paper |
Numerical Software with Result Verification
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Formulation for reliable analysis of structural frames
Reliable Computing | 2007-03-06 | Paper |
Interval arithmetic with containment sets
Computing | 2007-01-08 | Paper |
| scientific article; zbMATH DE number 992807 (Why is no real title available?) | 2000-07-19 | Paper |
| scientific article; zbMATH DE number 1440902 (Why is no real title available?) | 2000-05-08 | Paper |
| scientific article; zbMATH DE number 1440932 (Why is no real title available?) | 2000-05-08 | Paper |
Validated solutions of initial value problems for ordinary differential equations
Applied Mathematics and Computation | 2000-04-03 | Paper |
| scientific article; zbMATH DE number 1263372 (Why is no real title available?) | 1999-06-20 | Paper |
| scientific article; zbMATH DE number 1262453 (Why is no real title available?) | 1999-03-15 | Paper |
| scientific article; zbMATH DE number 1067576 (Why is no real title available?) | 1998-11-01 | Paper |
| scientific article; zbMATH DE number 1206059 (Why is no real title available?) | 1998-10-14 | Paper |
Indefinite integration with validation
ACM Transactions on Mathematical Software | 1998-03-18 | Paper |
| scientific article; zbMATH DE number 992841 (Why is no real title available?) | 1997-07-13 | Paper |
| scientific article; zbMATH DE number 903761 (Why is no real title available?) | 1996-11-26 | Paper |
| scientific article; zbMATH DE number 878933 (Why is no real title available?) | 1996-05-14 | Paper |
| scientific article; zbMATH DE number 852353 (Why is no real title available?) | 1996-03-06 | Paper |
| scientific article; zbMATH DE number 852318 (Why is no real title available?) | 1996-03-06 | Paper |
| scientific article; zbMATH DE number 140024 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 67114 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4192959 (Why is no real title available?) | 1990-01-01 | Paper |
Survey of integral algorithms for ordinary differential equations
Applied Mathematics and Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4078615 (Why is no real title available?) | 1988-01-01 | Paper |
Adaptive, Self-Validating Numerical Quadrature
SIAM Journal on Scientific and Statistical Computing | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3996997 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3992778 (Why is no real title available?) | 1986-01-01 | Paper |
On computing Darboux type series analyses
Nonlinear Analysis: Theory, Methods & Applications | 1983-01-01 | Paper |
Integrating ODE's in the Complex Plane-Pole Vaulting
Mathematics of Computation | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3738837 (Why is no real title available?) | 1978-01-01 | Paper |
Choosing a stepsize for Taylor series methods for solving ODE'S
Journal of Computational and Applied Mathematics | 1977-01-01 | Paper |
Which Root Does the Bisection Algorithm Find?
SIAM Review | 1977-01-01 | Paper |
