Moving Coframes: I. A Practical Algorithm

摘要

This is the first in a series of papers devoted to the development and applications of a new general theory of moving frames. In this paper, we formulate a practical and easy to implement explicit method to compute moving frames, invariant differential forms, differential invariants and invariant differential operators, and solve general equivalence problems for both finite-dimensional Lie group actions and infinite Lie pseudo-groups. A wide variety of applications, ranging from differential equations to differential geometry to computer vision are presented. The theoretical justifications for the moving coframe algorithm will appear in the next paper in this series.