ODE Invariants and Invariant Candidates

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).

Invariant

Candidate (may not be sufficient)

  1. Prove with {{fml.method}}

    Prove with ODE

    {{fml.text}}

No invariant (candidates) found.