Presentation Slides
R. Armellin: Predicting Apophis' Earth encounter in 2029 using differential algebra and Taylor models: Part 1
M. Berz: Taylor model based methods for ODEs
I. Charpentier: The Rapsodia tool for fast higher-order derivative tensor computations
P. Di Lizia: Predicting Apophis' Earth encounter in 2029 using differential algebra and Taylor models: Part 2
A. Eggers: Application of constraint solving and ODE enclosure methods to the analysis of hybrid systems
I. Elkhaldi: Sensitivity analysis and optimization of solutions computed through the ANM
R. Jagasia: Survey of COSY compiler options
M. Joldes: Certified and fast computation of supremum norms of approximation errors
K. Makino: Taylor model based optimization
M. Neher: Introduction to Taylor model methods
M. Neher: Taylor model methods vs. interval methods for ODEs: Similarities and distinctions
J. Olympio: Introduction to NEO impact's detection and mitigation techniques. Challenges and state of the art.
A. Ovsyannikov: On control models construction in Tokamaks
J. Pryce: Recent advances in the DAETS differential-algebraic equation solver
A. Wittig: Global high period periodic point finder
Y. Yomdin: Reconstruction of Taylor data from measurements