Clifford Algebraic Reduction method for Automated Theorem Proving in Differential Geometry

Authors
L.Hongbo,C.Minteh
Citation
L.hongbo,c.minteh, Clifford Algebraic Reduction method for Automated Theorem Proving in Differential Geometry, Journal of automated reasoning , 21(1), 1998, pp. 1-21
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
21
Issue
1
Year of publication
1998
Pages
1 - 21
Database
ACNP
SICI code