OpenGeoProver

Open Geo Prover This is an Open Source project developed in Java for implementation of various Automated Geometry Theorem Provers. It can be used as a stand-alone application but also can be integrated into existing geometry tools. Of algebraic geometry theorem provers it implements Wu’s and Gröbner basis methods.