swMATH ID: 5737
Software Authors: Julien Narboux; Nicolas François
Description: This program is an interactive geometry software with proof related features. The project consist in producing an interactive proof software for geometry. GeoProof can communicate with the Coq proof assistant to perform automatic and interactive proofs of geometry theorems.
Homepage: https://rd.springer.com/article/10.1007%2Fs10817-007-9071-4
Programming Languages: OCaml
Keywords: Scientific/Engineering; Mathematics; education
Related Software: GEX; GeoThms; Coq; GCLC; GeoGebra; JGEX; GCLCprover; GEOTHER 1.1; Cinderella; GeoView; MMP/Geometer; gcl; TGTP; Intergeo; Theorema; GATP; Electronic Geometry Textbook; ArgoCLP; OpenGeoProver; Geometer's Sketchpad
Cited in: 17 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
A graphical user interface for formal proofs in geometry. Zbl 1131.68094
Narboux, Julien

Citations by Year