Euclidean geometry; Logical system;
机译:使用欧几里德算法和Cauchy的定理来证明Routh的定理
机译:组合定理证明和证明者运行时预测
机译:欧几里德空间图形超空间正质量定理的固有扁平稳定性
机译:基于Coq的平面几何中交互式和自动定理证明的库
机译:使用Wu方法和Collins方法对几何定理进行机械证明。
机译:非欧几里得仿射实射和欧几里得几何的新基础
机译:使用几何代数交互地模拟欧几里德和非欧几里德空间的几何
机译:用数字计算机证明平面几何中的定理