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):
Displaying 12 items.
- kv (Q43423) (← links)
- VERICOMP: A system to compare and assess verified IVP solvers (Q411437) (← links)
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
- A toolbox of equation-free functions in Matlab/Octave for efficient system level simulation (Q2041530) (← links)
- A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains (Q2057959) (← links)
- FATODE: A Library for Forward, Adjoint, and Tangent Linear Integration of ODEs (Q2940033) (← links)
- A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods (Q3418630) (← 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)
- Validated integration of semilinear parabolic PDEs (Q6586798) (← links)
- Reducing the truncation error in Taylor model multiplication (Q6618230) (← links)