Pages that link to "Item:Q2570078"
From MaRDI portal
The following pages link to Verifying approximate solutions to differential equations (Q2570078):
Displaying 4 items.
- VERICOMP: A system to compare and assess verified IVP solvers (Q411437) (← links)
- The problem of checking and correction of numerical results for differential equations, and methods for its solution (Q1395210) (← links)
- FEVS: a functional equivalence verification suite for high-performance scientific computing (Q1949768) (← links)
- Reducing the Uncertainty When Approximating the Solution of ODEs (Q3144140) (← links)