#### DMCA

## Clifford Algebra and Mechanical Geometry Theorem Proving

by
Yang Haiquan
,
Zhang Shugong
,
Feng Guochen