Computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation

Analytic constraint solving and interval arithmetic

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Setting 2 variables at a time yields a new lower bound for random 3-SAT (extended abstract)

STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing

Consistency Techniques in Ordinary Differential Equations

Constraints

Some recent advances in validated methods for IVPs for ODEs

Applied Numerical Mathematics

Optimal Pruning in Parametric Differential Equations

CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming

A survey of shadowing methods for numerical solutions of ordinary differential equations

Applied Numerical Mathematics - Tenth seminar on and differential-algebraic equations (NUMDIFF-10)

Tracing surface intersections with validated ODE system solver

SM '04 Proceedings of the ninth ACM symposium on Solid modeling and applications

Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes

Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)

On multistep interval methods for solving the initial value problem

Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)

Interval modeling of dynamics for multibody systems

Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)

Validated solutions of initial value problems for parametric ODEs

Applied Numerical Mathematics

Analysis of validated error bounds of surface-to-surface intersection

Computer-Aided Design

Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP

Reliable Implementation of Real Number Algorithms: Theory and Practice

Constraint Reasoning for Differential Models

Proceedings of the 2005 conference on Constraint Reasoning for Differential Models

A survey of shadowing methods for numerical solutions of ordinary differential equations

Applied Numerical Mathematics

Constraint reasoning in deep biomedical models

Artificial Intelligence in Medicine

Brief paper: Interval observer design for consistency checks of nonlinear continuous-time systems

Automatica (Journal of IFAC)

Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics

Journal of Computer and Systems Sciences International

Toward definition of systematic criteria for the comparison of verified solvers for initial value problems

PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part II

Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods

SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods

Set membership state and parameter estimation for systems described by nonlinear differential equations

Automatica (Journal of IFAC)