Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry

@article{Li1998CliffordAR,
  title={Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry},
  author={Hongbo Li and Cheng Minteh},
  journal={Journal of Automated Reasoning},
  year={1998},
  volume={21},
  pages={1-21}
}
In this paper a new method is proposed for mechanically proving theorems in the local theory of space curves. The method is based on Ritt-Wu’s well-ordering principle of ordinary differential polynomials, Clifford algebraic representation of Euclidean space and equation set solving in Clifford algebra formalism. It has been tested by various theorems and… CONTINUE READING