☆ 4.7 Article

Dealing with Degeneracies in Automated Theorem Proving in Geometry

MATHEMATICS (2021)

Related references

Note: Only part of the references are listed.

Article Mathematics, Applied

A Mechanical Geometer

Francisco Botana et al.

Summary: The paper presents a new method for systematically and automatically finding theorems on a given elementary geometry figure, using the software tool Automated Geometer developed on top of GeoGebra. The method, which is purely symbolic, provides rigorous mathematical certainty for a complete list of geometric properties that hold on a user-provided construction.

MATHEMATICS IN COMPUTER SCIENCE (2021)

Add to Collection

Article Mathematics

Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick

Manuel Ladra et al.

REVISTA DE LA REAL ACADEMIA DE CIENCIAS EXACTAS FISICAS Y NATURALES SERIE A-MATEMATICAS (2020)

Add to Collection

Article Computer Science, Artificial Intelligence

Rewriting input expressions in complex algebraic geometry provers

Z. Kovacs et al.

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE (2019)

Add to Collection

Article Mathematics, Applied

Detecting truth, just on parts

Zoltan Kovacs et al.

REVISTA MATEMATICA COMPLUTENSE (2019)

Add to Collection

Article Computer Science, Artificial Intelligence

Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method

Jie Zhou et al.

JOURNAL OF AUTOMATED REASONING (2017)

Add to Collection

Article Computer Science, Artificial Intelligence

Automated Theorem Proving in GeoGebra: Current Achievements

Francisco Botana et al.

JOURNAL OF AUTOMATED REASONING (2015)

Add to Collection

Article Computer Science, Artificial Intelligence

On Protocols for the Automated Discovery of Theorems in Elementary Geometry

G. Dalzotto et al.

JOURNAL OF AUTOMATED REASONING (2009)

Add to Collection

© Peeref 2019-2024. All rights reserved.