| Publication | Date of Publication | Type |
|---|
Verified computations using Taylor models and their applications
Numerical Software Verification | 2022-07-01 | Paper |
Rigorous reachability analysis and domain decomposition of Taylor models
Numerical Software Verification | 2022-07-01 | Paper |
Validation of transfer map calculation for electrostatic deflectors in the code \textit{COSY INFINITY}
International Journal of Modern Physics A | 2021-06-08 | Paper |
Verified High-Order Integration of DAEs and Higher-Order ODEs
Scientific Computing, Validated Numerics, Interval Methods | 2018-07-16 | Paper |
Rigorous global search using taylor models
Proceedings of the 2009 conference on Symbolic numeric computation | 2017-02-03 | Paper |
Rigorous integration of flows and ODEs using Taylor models
Proceedings of the 2009 conference on Symbolic numeric computation | 2017-02-03 | Paper |
| An introduction to beam physics | 2016-10-28 | Paper |
Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting
Celestial Mechanics and Dynamical Astronomy | 2015-10-20 | Paper |
| High-order representation of Poincaré maps | 2013-08-28 | Paper |
Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization
Celestial Mechanics and Dynamical Astronomy | 2011-10-26 | Paper |
Rigorous and accurate enclosure of invariant manifolds on surfaces
Regular and Chaotic Dynamics | 2011-01-14 | Paper |
| scientific article; zbMATH DE number 5619703 (Why is no real title available?) | 2009-10-22 | Paper |
| scientific article; zbMATH DE number 5619704 (Why is no real title available?) | 2009-10-22 | Paper |
| scientific article; zbMATH DE number 5380247 (Why is no real title available?) | 2008-12-10 | Paper |
| scientific article; zbMATH DE number 5310554 (Why is no real title available?) | 2008-08-12 | Paper |
| Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning | 2008-02-22 | Paper |
| Surpression of the wrapping effect by Taylor model-based verified integrators: the single step | 2008-01-18 | Paper |
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
The Journal of Logic and Algebraic Programming | 2005-06-01 | Paper |
Higher order verified inclusions of multidimensional systems by Taylor models.
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2004-08-26 | Paper |
Verified integration of dynamics in the solar system.
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2004-08-26 | Paper |
| scientific article; zbMATH DE number 2069519 (Why is no real title available?) | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 1916891 (Why is no real title available?) | 2003-10-19 | Paper |
Computing validated solutions of implicit differential equations
Advances in Computational Mathematics | 2003-05-04 | Paper |
Controlling the wrapping effect in the solution of ODEs for asteroids
Reliable Computing | 2003-04-28 | Paper |
New methods for high-dimensional verified quadrature
Reliable Computing | 2000-11-02 | Paper |
Efficient control of the dependency problem based on Taylor model methods
Reliable Computing | 1999-11-23 | Paper |
Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
Reliable Computing | 1999-01-17 | Paper |
Viscous fingering patterns in polymer solutions
Physica D | 1997-11-18 | Paper |
| scientific article; zbMATH DE number 992811 (Why is no real title available?) | 1997-05-11 | Paper |
