Validated numerics
Top View
- Cylindrical Algebraic Decomposition Using Validated Numerics
- Invariant Manifolds and Connecting Orbits
- Complete List of Scientific Publications: PD Dr.-Ing. Habil
- {PDF} Mathematical Analysis a Modern Approach to Advanced
- A Bibliography of Domain Decomposition
- A Functional Analytic Approach to Validated Numerics for Eigenvalues of Delay Equations
- A Functional Analytic Approach to Validated Numerics for Eigenvalues of Delay Equations
- AMS Short Course on Rigorous Numerics in Dynamics: (Un)Stable Manifolds and Connecting Orbits
- A Dynamical Approach to Validated Numerics
- Validated Numerics
- A Symbolic-Numeric Validation Algorithm for Linear Odes with Newton-Picard Method Florent Bréhard
- Accurate and Validated Numerical Computing
- Sensitivity-Based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations
- Interval Methods for Global Optimization Belaid Moa Doctor Of
- Interval Analysis: Theory and Applications
- Rigorous Validation of Stochastic Transition Paths
- New Publications Offered by the AMS
- C – XSC 2.0 – a C++ Class Library for Extended Scientific Computing