kv

swMATH31712MaRDI QIDQ43423FDOQ43423

Author name not available (Why is that?)

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_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