Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method: Part II.Mechanical Theorem Proving

Authors
S-C.Chou,X-S.Gao
Citation
S-c.chou,x-s.gao, Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method: Part II.Mechanical Theorem Proving, Journal of automated reasoning , 10(2), 1993, pp. 173-190
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
10
Issue
2
Year of publication
1993
Pages
173 - 190
Database
ACNP
SICI code