Clifford Algebra and Automated Geometric Theorem Proving

• Clifford代数与几何定理机器证明