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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element