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
References in zbMATH (referenced in 5 articles )
Showing results 1 to 5 of 5.
- Boutry, Pierre; Braun, Gabriel; Narboux, Julien: Formalization of the arithmetization of Euclidean plane geometry and applications (2019)
- Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon: Automated theorem proving in GeoGebra: current achievements (2015)
- Kovács, Zoltán: The relation tool in GeoGebra 5 (2015)
- Marić, Filip; Petrović, Danijela: Formalizing complex plane geometry (2015)
- Marinković, Vesna; Janičić, Predrag; Schreck, Pascal: Computer theorem proving for verifiable solving of geometric construction problems (2015)