Geometric constraint solving techniques based on symbolic algebra and graphical reduction

• 基于计算代数和图分解的几何约束求解技术