In the panels below, found invariants and invariant candidates are listed.
Each panel contains an invariant (chain) or invariant candidate (chain).
The lists of formulas are given in the order of their recommended differential cuts:
use dC
to supply the formulas one-by-one in the order given, and use the recommended method to
prove the invariant (or ODE
to automatically search for a proof).
Prove with {{fml.method}}
Prove with ODE
{{fml.text}}
No invariant (candidates) found.