GeoProof 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.68094Narboux, Julien 2007 all top 5 Cited by 24 Authors 5 Quaresma, Pedro 4 Narboux, Julien 3 Janičić, Predrag 2 Ida, Tetsuo 2 Kovács, Zoltán 1 Baeta, Nuno 1 Bertot, Yves 1 Botana, Francisco 1 Chen, Xiaoyu 1 Génevaux, Jean-David 1 Ghourabi, Fadoua 1 Graziani, Pierluigi 1 Hohenwarter, Markus 1 Jiang, Jianguo 1 Kaliszyk, Cezary 1 Kasem, Asem 1 Olšák, Miroslav 1 Petrovic, Ivan 1 Pham, Tuan Minh 1 Recio, Tomas 1 Santos, Vanda 1 Schreck, Pascal 1 Weitzhofer, Simon 1 Zhang, Jingzhong Cited in 4 Serials 4 Journal of Automated Reasoning 2 Mathematics in Computer Science 1 Journal of Symbolic Computation 1 Journal of Systems Science and Complexity Cited in 4 Fields 17 Computer science (68-XX) 7 Geometry (51-XX) 3 Mathematical logic and foundations (03-XX) 3 Mathematics education (97-XX) Citations by Year