Exterior difference system on hypercubic lattice (Q2460091)

From the authors' abstract: Based on the exterior differential calculus, the authors define the exterior difference system on the hypercubic lattice. The pairing formula, bracket, contract operator and Lie derivative operator for this system are also constructed. The discrete H. Cartan formulas are obtained too. After those preparations, they prove the discrete Frobenius Theorem, discrete retraction theorem and discrete Cartan-Kähler theorem.