   <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-319-63588-0_13">13: Differential Invariants &amp; Proof Theory</a></li>
</ul>
</p>
</div>