Pages that link to "Item:Q2829263"
From MaRDI portal
The following pages link to Formally Verified Approximations of Definite Integrals (Q2829263):
Displaying 7 items.
- Principles of verified numerical integration (Q861893) (← links)
- A verified ODE solver and the Lorenz attractor (Q1663218) (← links)
- Formally verified approximations of definite integrals (Q1722649) (← links)
- Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals (Q1921293) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Extensional constructive real analysis via locators (Q5156769) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)