MMP/Geometer
MMP/Geometer – a software package for automated geometric reasoning. We introduce a software package, MMP/Geometer, developed by us to automate some of the basic geometric activities including geometric theorem proving, geometric theorem discovering, and geometric diagram generation. As a theorem prover, MMP/Geometer implements Wu’s method for Euclidean and differential geometries, the area method and the geometric deductive database method. With these methods, we can not only prove difficult geometric theorems but also discover new theorems and generate short and readable proofs. As a geometric diagram editor, MMP/Geometer is an intelligent dynamic geometric software tool which may be used to input and manipulate geometric diagrams conveniently and interactively by combining the idea of dynamic geometry and methods of automated diagram generation
Keywords for this software
References in zbMATH (referenced in 13 articles , 1 standard article )
Showing results 1 to 13 of 13.
Sorted by year (- 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)
- Botana, Francisco; Kovács, Zoltán: A Singular web service for geometric computations (2015)
- Gao, Xinyan; Zhou, Ning; Wu, Jinzhao; Li, Dakui: Wu’s characteristic set method for SystemVerilog assertions verification (2013)
- Pham, Tuan Minh; Bertot, Yves: A combination of a dynamic geometry software with a proof assistant for interactive formal proofs (2012)
- Génevaux, Jean-David; Narboux, Julien; Schreck, Pascal: Formalization of Wu’s simple method in Coq (2011)
- Quaresma, Pedro: Thousands of geometric problems for geometric theorem provers (TGTP) (2011)
- Janičić, Predrag: Geometry constructions language (2010)
- Ye, Zheng; Chou, Shang-Ching; Gao, Xiao-Shan: Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (2010)
- Janičić, Predrag; Quaresma, Pedro: Automatic verification of regular constructions in dynamic geometry systems (2007)
- Narboux, Julien: A graphical user interface for formal proofs in geometry (2007)
- Quaresma, Pedro; Janičić, Predrag: GeoThms -- a web system for Euclidean constructive geometry (2007)
- Gao, Xiao-Shan; Lin, Qiang; Zhang, Gui-Fang: A C-tree decomposition algorithm for 2D and 3D geometric constraint solving (2006)
- Gao, Xiao-Shan; Lin, Qiang: MMP/Geometer -- a software package for automated geometric reasoning (2004)