Automated theorem proving in elementary geometry

Automated theorem proving in elementary geometry

A survey of the main procedures for automatic theorem proving in geometry is presented.

Bibliographic Details
Main Authors:	Alfredo Ferro, Giovanni Gallo
Format:	Article
Language:	English
Published:	Università degli Studi di Catania 1988-11-01
Series:	Le Matematiche
Online Access:	http://www.dmi.unict.it/ojs/index.php/lematematiche/article/view/713

Similar Items

Dealing with Degeneracies in Automated Theorem Proving in Geometry
by: Zoltán Kovács, et al.
Published: (2021-08-01)

Automatic Geometry Theorem Proving
by: Wan-Ching Shih, et al.
Published: (2002)

Resolution based techniques for automated proving of theorems in Tarskian-Euclidian geometry
by: Savchenko, Sergei.
Published: (1999)

Mechanized Geometry Theorem Proving System
by: Chia-Hsin Chan, et al.
Published: (2006)

Gröbner Basis and Geometry Theorem Proving
by: Hsiao-ming Sung, et al.
Published: (2004)

Another look at automated theorem-proving
by: Koblitz Neal
Published: (2007-12-01)

Machine learning and automated theorem proving
by: Bridge, J. P.
Published: (2010)

Application of computer algebra to geometry theorem proving
by: Po-Wen Fang, et al.
Published: (2006)

Automated Theorem Proving for General Game Playing
by: Haufe, Sebastian
Published: (2012)

Another look at automated theorem-proving II
by: Koblitz Neal
Published: (2012-02-01)

Automated Theorem Proving : Resolution vs. Tableaux
by: Folkler, Andreas
Published: (2002)

A Dynamic Geometry Environment with Mechanical Theorem Proving
by: Po-Yu Chen, et al.
Published: (2005)

Analysis of the use of semantic trees in automated theorem proving
by: Almulla, Mohammed Ali
Published: (1994)

Automated theorem proving for mathematics : real analysis in PVS
by: Gottliebsen, Hanne
Published: (2002)

A Computer-Assisted system of Geometry theorem Proving and Visualization
by: Yuan-Chuan Chen, et al.
Published: (2004)

Natural Language Understanding of Geometry Theorem Proving Problems and Dynamic Geometry Learning Environment
by: Chun-Wei Huang, et al.
Published: (2007)

Pengembangan Perangkat Pembelajaran Geometri Ruang dengan Model Proving Theorem
by: Bambang Eko Susilo, et al.
Published: (2016-03-01)

A Computer-Assisted LearningEnvironment for Understanding GeometryTheorem Proving
by: Wen-Hsien Chang, et al.
Published: (2006)

Applications of automated theorem proving methods to multi-agent systems
by: Araragi, Tadashi
Published: (2011)

A combination of geometry theorem proving and nonstandard analysis, with application to Newton's Principia
by: Fleuriot, Jacques Désiré
Published: (1999)

A Computer-Assisted Learning Environment with Multiple Representations for Geometry Theorem Proving
by: Hsi-Hsun Yang, et al.
Published: (2009)

Automated elementary geometry theorem discovery via inductive diagram manipulation
by: Johnson, Lars Erik
Published: (2016)

Computer algebra and theorem proving
by: Ballarin, Clemens Michael
Published: (1999)

Theorem proving with the real numbers
by: Harrison, John Robert
Published: (1996)

Designing a Computer-Assisted Learning Environment of Geometry Theorem Proving with Inquiry and Multiple Representations
by: Sheng-kai Yin, et al.
Published: (2011)

Clause detection in resolution theorem proving /
by: Gelperin, David Hausmann
Published: (1973)

Integrating Testing and Interactive Theorem Proving
by: Harsh Raju Chamarthi, et al.
Published: (2011-10-01)

Algebraic Methods for Proving Geometric Theorems
by: Redman, Lynn
Published: (2019)

Combining model checking and theorem proving
by: Amjad, Hasan
Published: (2004)

A study on parallel theorem proving
by: LIU, LONG-LONG, et al.
Published: (1986)

Declarative theorem proving for operational semantics
by: Syme, Donald Robert
Published: (1999)

Interactive theorem proving and program extraction
by: Hou, Tie
Published: (2014)

Toward a Theorem Proving Architecture
by: Lien, Sheue-Ling C.
Published: (1981)

On Quantified Modal Theorem Proving for Modeling Ethics
by: Naveen Sundar Govindarajulu, et al.
Published: (2019-12-01)

A unit resolution theorem proving system
by: LeQuesne, Peter Neave
Published: (2011)

Theorem-proving distributed algorithms with dynamic analysis
by: Ne Win, Toh, 1979-
Published: (2006)

Resolution Theorem Proving in Reified Model Logics
by: Aitken, J., et al.
Published: (1994)

Applications of Foundational Proof Certificates in theorem proving
by: Blanco Martínez, Roberto
Published: (2017)

Information-Theoretic Analysis using Theorem Proving
by: Mhamdi, Tarek
Published: (2012)

Formal probabilistic analysis using theorem proving
by: Hasan, Osman
Published: (2008)