<div>
<p>
    <b>Find ODE Invariant Candidates</b> searches for invariants and invariant candidates to prove the post-condition of a differential equation from the given initial conditions.
</p>
<p>
See also
<ul>
    <li><kbd>Differential Equation &rarr; ODE</kbd> for ODE automation.</li>
</ul>
</p>
<p>
Learning resources
<ul>
    <li><a target="_blank" href="https://doi.org/10.1007/978-3-030-30942-8_10">Pegasus: A framework for sound continuous invariant generation</a></li>
</ul>
</p>
</div>