Pages that link to "Item:Q2829263"

The following pages link to Formally Verified Approximations of Definite Integrals (Q2829263):

Displaying 4 items.

• A verified ODE solver and the Lorenz attractor (Q1663218) (← links)
• Formally verified approximations of definite integrals (Q1722649) (← links)
• Extensional constructive real analysis via locators (Q5156769) (← links)
• Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)