Menu
  • About & Contact
  • Feedback
  • Contribute
  • Help
  • zbMATH

swMATH

swmath-logo
  • Search
  • Advanced search
  • Browse
  • browse software by name
  • browse software by keywords
  • browse software by MSC
  • browse software by types

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.

Keywords for this software

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

  • dynamic geometry software
  • automatic theorem proving
  • automatic theorem deduction
  • automated deduction in geometry
  • interactive learning environments
  • automated theorem proving
  • Möbius transformations
  • computer algebra
  • algorithmic portfolios
  • intercept theorem
  • automated theorem proving in geometry
  • portfolio solver
  • dynamic geometry
  • Coq
  • runtime prediction
  • geometry construction problems
  • area method
  • complex algebraic geometry
  • computer-aided mathematics education
  • secondary education
  • GeoGebra
  • knowledge management in geometry
  • intelligent tutoring systems
  • complex plane geometry
  • formalization
  • geometry
  • interactive theorem proving
  • elementary geometry
  • Pythagoras’ theorem
  • arithmetization

  • URL: code.google.com/p/open...
  • InternetArchive
  • Authors: Predrag Janicic; Ivan Petrovic

  • Add information on this software.


  • Related software:
  • GeoGebra
  • GCLC
  • GEX
  • JGEX
  • GeoThms
  • Coq
  • gcl
  • Giac
  • ArgoCLP
  • GEOTHER 1.1
  • Show more...
  • GCLCprover
  • SINGULAR
  • GeoProof
  • SATzilla
  • Isabelle/HOL
  • ArgoTriCS
  • Geometer's Sketchpad
  • Cinderella
  • Emscripten
  • Xeukleides
  • Show less...

References in zbMATH (referenced in 10 articles )

Showing results 1 to 10 of 10.
y Sorted by year (citations)

  1. Quaresma, Pedro: Automated deduction and knowledge management in geometry (2020)
  2. Selaković, Milica; Marinković, Vesna; Janičić, Predrag: New dynamics in dynamic geometry: dragging constructed points (2020)
  3. Boutry, Pierre; Braun, Gabriel; Narboux, Julien: Formalization of the arithmetization of Euclidean plane geometry and applications (2019)
  4. Kovács, Z.; Recio, T.; Sólyom-Gecse, C.: Rewriting input expressions in complex algebraic geometry provers (2019)
  5. Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag: Portfolio theorem proving and prover runtime prediction for geometry (2019)
  6. Daubechies, Ingrid (ed.); Kutyniok, Gitta (ed.); Rauhut, Holger (ed.); Strohmer, Thomas (ed.): Applied harmonic analysis and data processing. Abstracts from the workshop held March 25--31, 2018 (2018)
  7. 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)
  8. Kovács, Zoltán: The relation tool in GeoGebra 5 (2015)
  9. Marić, Filip; Petrović, Danijela: Formalizing complex plane geometry (2015)
  10. Marinković, Vesna; Janičić, Predrag; Schreck, Pascal: Computer theorem proving for verifiable solving of geometric construction problems (2015)

  • Article statistics & filter:

  • Search for articles
  • MSC classification / top
    • Top MSC classes
      • 03 Mathematical logic
      • 13 Commutative algebra
      • 51 Geometry
      • 68 Computer science
      • 97 Mathematics education
    • Other MSC classes
      • 00 General mathematics
      • 14 Algebraic geometry
      • 15 Linear and multilinear...
      • 42 Fourier analysis
      • 65 Numerical analysis
      • 94 Information and...

  • Publication year
    • 2010 - today
    • 2005 - 2009
    • 2000 - 2004
    • before 2000

  • Chart: cumulative / absolute
  • Terms & Conditions
  • Imprint
  • Privacy Policy