kv

swMATH31712MaRDI QIDQ43423

No author found.

Described by source

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

Related Items (12)

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 ⋮ Computer-assisted verification of four interval arithmetic operators ⋮ Faithfully Rounded Floating-point Computations ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain ⋮ CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems ⋮ Numerical verification method for positive solutions of elliptic problems ⋮ A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems ⋮ Numerical verification for asymmetric solutions of the Hénon equation on bounded domains ⋮ A posteriori verification of the positivity of solutions to elliptic boundary value problems ⋮ Numerical verification of positiveness for solutions to semilinear elliptic problems

This page was built for software: kv