kv

swMATH31712MaRDI QIDQ43423FDOQ43423

Author name not available (Why is that?)

Described by source

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

Cited In (12)

• 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
• 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
• 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
• Faithfully Rounded Floating-point Computations
• A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems

This page was built for software: kv