Pages that link to "Item:Q2291993"
From MaRDI portal
The following pages link to A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (Q2291993):
Displayed 6 items.
- kv (Q43423) (← links)
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
- A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains (Q2057959) (← links)
- Verified Error Bounds for All Eigenvalues and Eigenvectors of a Matrix (Q5057775) (← links)
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849) (← links)
- Fast computation of error bounds for all eigenpairs of a Hermitian and all singular pairs of a rectangular matrix with emphasis on eigen- and singular value clusters (Q6133118) (← links)