光电验证器

开放地理证明:这是一个在Java开发的开源项目,用于实现各种自动化几何定理证明器。它可以用作独立的应用程序,但也可以集成到现有的几何工具中。在代数几何定理证明中,它实现了吴和Grübn-基方法。