| 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 |
Bounded motion design in the Earth zonal problem using differential algebra based normal form methods
Celestial Mechanics and Dynamical Astronomy | 2020-10-07 | Paper |
Verified High-Order Integration of DAEs and Higher-Order ODEs
Scientific Computing, Validated Numerics, Interval Methods | 2018-07-16 | Paper |
Global optimization of interplanetary transfers with deep space maneuvers using differential algebra
Springer Optimization and Its Applications | 2017-06-29 | 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 |
Affine invariant measures in Levi-Civita vector spaces and the Erdős obtuse angle theorem
Advances in Ultrametric Analysis | 2015-09-24 | Paper |
| High-order representation of Poincaré maps | 2013-08-28 | Paper |
| Simulation and optimization of the Tevatron accelerator | 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 |
Asteroid close encounters characterization using differential algebra: the case of apophis
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 |
| Analysis on the Levi-Civita field, a brief overview | 2010-09-02 | Paper |
| scientific article; zbMATH DE number 5619706 (Why is no real title available?) | 2009-10-22 | 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 |
Intermediate value theorem for analytic functions on a Levi-Civita field
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2008-02-04 | Paper |
| Surpression of the wrapping effect by Taylor model-based verified integrators: the single step | 2008-01-18 | Paper |
Generalized power series on a non-Archimedean field
Indagationes Mathematicae. New Series | 2006-12-07 | Paper |
Analytical properties of power series on Levi-Civita fields
Annales Mathématiques Blaise Pascal | 2006-03-29 | Paper |
Analytical properties of power series on Levi-Civita fields
Annales Mathématiques Blaise Pascal | 2006-03-29 | Paper |
| scientific article; zbMATH DE number 2247215 (Why is no real title available?) | 2006-01-16 | 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 |
| scientific article; zbMATH DE number 2103875 (Why is no real title available?) | 2004-09-28 | Paper |
| scientific article; zbMATH DE number 2103876 (Why is no real title available?) | 2004-09-28 | 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 2066907 (Why is no real title available?) | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 2064605 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 2064585 (Why is no real title available?) | 2004-05-18 | Paper |
| scientific article; zbMATH DE number 1916891 (Why is no real title available?) | 2003-10-19 | Paper |
Verified high-order inversion of functional dependencies and interval Newton methods
Reliable Computing | 2003-08-13 | 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 |
| Analytical and computational methods for the Levi-Civita field | 2002-12-16 | Paper |
Intermediate values and inverse functions on non-Archimedean fields
International Journal of Mathematics and Mathematical Sciences | 2002-08-12 | Paper |
Intermediate values and inverse functions on non-Archimedean fields
International Journal of Mathematics and Mathematical Sciences | 2002-08-12 | Paper |
Verification of invertibility of complicated functions over large domains
Reliable Computing | 2002-07-08 | Paper |
| Convergence on the Levi-Civita field and study of power series | 2002-05-16 | Paper |
| Canonical integration and analysis of periodic maps using non-standard analysis and Lie methods | 2002-02-27 | 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 |
Computation and application of Taylor polynomials with interval remainder bounds
Reliable Computing | 1998-10-05 | Paper |
| scientific article; zbMATH DE number 992808 (Why is no real title available?) | 1998-01-05 | Paper |
| scientific article; zbMATH DE number 992809 (Why is no real title available?) | 1998-01-05 | Paper |
| scientific article; zbMATH DE number 992811 (Why is no real title available?) | 1997-05-11 | Paper |
| Computational differentiation: techniques, applications, and tools | 1997-01-13 | Paper |
Higher-order sensitivity analysis of finite element method by automatic differentiation
Computational Mechanics | 1996-09-23 | Paper |
| scientific article; zbMATH DE number 852360 (Why is no real title available?) | 1996-06-09 | Paper |
| scientific article; zbMATH DE number 804645 (Why is no real title available?) | 1996-04-10 | Paper |
| scientific article; zbMATH DE number 140025 (Why is no real title available?) | 1993-03-28 | Paper |
