Vectorial Equations Solving for Mechanical Geometry Theorem Proving.

Hongbo Li Vectorial Equations Solving for Mechanical Geometry Theorem Proving. 83-121 2000 25 J. Autom. Reasoning 2 db/journals/jar/jar25.html#Li00