swMATH31712MaRDI QIDQ43423FDOQ43423
Author name not available (Why is that?)
Official website: http://verifiedby.me/kv/index-e.html
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_0^1(\Omega) \hookrightarrow L^p(\Omega)\) 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
- GC-ubs-CAP
- Computer-assisted verification of four interval arithmetic operators
- 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
