Differential Invariants and Equivalence of Second Order ODEs | Synapse