The following pages link to kv (Q43423):
Displaying 13 items.
- (Q47417) (redirect page) (← links)
- Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain (Q730551) (← links)
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
- Numerical verification for asymmetric solutions of the Hénon equation on bounded domains (Q2050927) (← links)
- A posteriori verification of the positivity of solutions to elliptic boundary value problems (Q2077122) (← links)
- Multiple existence of positive even solutions for a two point boundary value problem on some very narrow possible parameter set (Q2124680) (← links)
- Recent advances in a rigorous computation of Poincaré maps (Q2137186) (← links)
- Computer-assisted verification of four interval arithmetic operators (Q2175842) (← links)
- Numerical verification method for positive solutions of elliptic problems (Q2297084) (← links)
- Numerical verification of positiveness for solutions to semilinear elliptic problems (Q3121396) (← links)
- Faithfully Rounded Floating-point Computations (Q5132334) (← links)
