@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} }

- Published 1998 in Journal of Automated Reasoning
DOI:10.1023/A:1005819428156

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

### Presentations referencing similar topics