Open Source Prover in the Attic

Journal of Symbolic Computation

D. Kapur (1986): Using Gröbner Bases to Reason About Geometry Problems · 1986

Earlier work this paper cites.

Kluwer Academic Publishers, Norwell, MA, USA, 10.1007/978-94-009-4037-6

S.C. Chou (1987): Mechanical Geometry Theorem Proving · 1987

Earlier work this paper cites.

Journal of Automated Reasoning

S.C. Chou, X.S. Gao & J.Z. Zhang (2000): A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering · 2000

Earlier work this paper cites.

Ph.D. thesis, University of Salzburg, Austria

M. Hohenwarter (2002): GeoGebra –- Ein Softwaresystem für Dynamische Geometrie und Algebra der Ebene · 2002

Earlier work this paper cites.

In: Automated Deduction in Geometry – 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers. Lecture Notes in Computer Science 6301

Z. Ye, S.C. Chou & X.S. Gao (2011): An Introduction to Java Geometry Expert – (Extended Abstract) · 2008

Earlier work this paper cites.

Journal of Automated Reasoning

Z. Ye, S.C. Chou & X.S. Gao (2010): Visually Dynamic Presentation of Proofs in Plane Geometry, Part 1: Basic Features and the Manual Input Method · 2010

Cited alongside, same era.

Journal of Automated Reasoning

Z. Ye, S.C. Chou & X.S. Gao (2010): Visually Dynamic Presentation of Proofs in Plane Geometry, Part 2: Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method · 2010

Cited alongside, same era.

The Electronic Journal of Mathematics and Technology

Z. Magajna (2011): An Observation Tool as an Aid for Building Proofs · 2011

Cited alongside, same era.

In: Computer Algebra and Polynomials, Lecture Notes in Computer Science

Z. Kovács & B. Parisse (2015): Giac and GeoGebra – Improved Gröbner Basis Computations · 2015

Cited alongside, same era.

In: Automated Deduction in Geometry (ADG 2021) EPTCS 352

A. Thaller & Z. Kovács (2021): Online Generation of Proofs Without Words · 2021

Later among the works it cites.

In: EPTCS 354

P. Quaresma & V. Santos (2022): Four Geometry Problems to Introduce Automated Deduction in Secondary Schools · 2022

Later among the works it cites.

Annals of Mathematics and Artificial Intelligence

N. Baeta & P. Quaresma (2023): Towards a Geometry Deductive Database Prover · 2023

Later among the works it cites.

In: EPTCS 375

J. Teles, V. Santos & P. Quaresma (2023): A Rule Based Theorem Prover: An Introduction to Proofs in Secondary Schools · 2023

Later among the works it cites.