三峡工程

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