Termination of Cartan's equivalence method
Differential Geometry
2018-10-25 v1
Abstract
We apply the language of the groupoid approach to Lie pseudo-groups, and the classical Cartan-Kuranishi theorem, to prove that Cartan's equivalence method terminates at involution (or at complete reduction) for constant type problems.
Cite
@article{arxiv.1810.10344,
title = {Termination of Cartan's equivalence method},
author = {Orn Arnaldsson},
journal= {arXiv preprint arXiv:1810.10344},
year = {2018}
}