kv

MaRDI QIDQ43423swMATHFDO

Official website http://verifiedby.me/kv/index-e.html

Described by source

• A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB

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