Pages that link to "Item:Q1722649"

The following pages link to Formally verified approximations of definite integrals (Q1722649):

Displaying 4 items.

• 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)