TGTP

几何定理证明的几何问题建立TGTP(几何定理证明器的几何问题)的主要动机是支持几何自动定理证明(GATP)系统的测试和评估,以帮助确保性能结果准确地反映正在考虑的GATP系统的能力。