Pages that link to "Item:Q1722649"
From MaRDI portal
The following pages link to Formally verified approximations of definite integrals (Q1722649):
Displaying 6 items.
- Principles of verified numerical integration (Q861893) (← links)
- Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals (Q1921293) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)
- Mathematics and the formal turn (Q6130523) (← links)
- Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)