Vectorial Equations Solving for Mechanical Geometry Theorem Proving

Authors
H.Li
Citation
H.li, Vectorial Equations Solving for Mechanical Geometry Theorem Proving, Journal of automated reasoning , 25(2), 2000, pp. 83-121
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
25
Issue
2
Year of publication
2000
Pages
83 - 121
Database
ACNP
SICI code