Pages that link to "Item:Q1663218"

The following pages link to A verified ODE solver and the Lorenz attractor (Q1663218):

Displaying 10 items.

• A rigorous ODE solver and Smale's 14th problem (Q1601363) (← links)
• Verified interactive computation of definite integrals (Q2055881) (← links)
• The art of solving a large number of non-stiff, low-dimensional ordinary differential equation systems on GPUs and CPUs (Q2672870) (← links)
• Wild pseudohyperbolic attractor in a four-dimensional Lorenz system (Q4986208) (← links)
• A certificate-based approach to formally verified approximations (Q5875414) (← links)
• Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849) (← links)
• What is the point of computers? A question for pure mathematicians (Q6118162) (← links)
• Mathematics and the formal turn (Q6130523) (← links)
• Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)
• Algorithm and abstraction in formal mathematics (Q6637783) (← links)