Examples
Each page is a complete computer-assisted proof, built from the same five steps as The radii polynomial approach.
If you are new to the method, work through Getting started instead.
Find your problem
| I want to prove | Start at |
|---|---|
| an equilibrium of a vector field | Equilibria of the Lorenz system |
| a solution of an initial value problem | The logistic equation |
| a steady state of a PDE | Cahn-Hilliard, then Nonlinear diffusion |
| a periodic orbit | Non-autonomous ODE, then Lorenz system |
| a branch of solutions, including through a fold | Parameter continuation for the cube root, then Pseudo-arclength continuation for the cube root |
| a manifold of solutions | Parameter continuation for the Cahn-Hilliard equation |