Cited in
(21)- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Numerical verification of positiveness for solutions to semilinear elliptic problems
- Multiple existence of positive even solutions for a two point boundary value problem on some very narrow possible parameter set
- Recent advances in a rigorous computation of Poincaré maps
- Faithfully rounded floating-point computations
- Sharp numerical inclusion of the best constant for embedding H₀^1() L^p() on bounded convex domain
- Numerical verification for asymmetric solutions of the Hénon equation on bounded domains
- INTLAB
- ValEncIA-IVP
- CRlibm
- VNODE
- Octave Interval
- Lorenz-Database
- ODEIntegrator
- CAPD DynSys
- Computer-assisted verification of four interval arithmetic operators
- GC-ubs-CAP
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- A posteriori verification of the positivity of solutions to elliptic boundary value problems
- Numerical verification method for positive solutions of elliptic problems
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
This page was built for software: kv
