References

  1. N. Baeta & P. Quaresma (2023): Towards a Geometry Deductive Database Prover. Annals of Mathematics and Artificial Intelligence, doi:10.1007/s10472-023-09839-0.
  2. S.C. Chou (1987): Mechanical Geometry Theorem Proving. Kluwer Academic Publishers, Norwell, MA, USA, doi:10.1007/978-94-009-4037-6.
  3. S.C. Chou, X.S. Gao & J.Z. Zhang (2000): A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering. Journal of Automated Reasoning 25, pp. 219–246, doi:10.1023/A:1006171315513.
  4. M. Hohenwarter (2002): GeoGebra –- Ein Softwaresystem für Dynamische Geometrie und Algebra der Ebene. University of Salzburg, Austria.
  5. D. Kapur (1986): Using Gröbner Bases to Reason About Geometry Problems. Journal of Symbolic Computation 2(4), pp. 399–408, doi:10.1016/S0747-7171(86)80007-4.
  6. Z. Kovács & B. Parisse (2015): Giac and GeoGebra – Improved Gröbner Basis Computations. In: Computer Algebra and Polynomials, Lecture Notes in Computer Science, pp. 126–138, doi:10.1007/978-3-319-15081-9_7.
  7. Z. Magajna (2011): An Observation Tool as an Aid for Building Proofs. The Electronic Journal of Mathematics and Technology 5(3), pp. 251–260.
  8. P. Quaresma & V. Santos (2022): Four Geometry Problems to Introduce Automated Deduction in Secondary Schools. In: EPTCS 354, pp. 27–42, doi:10.4204/EPTCS.354.3.
  9. J. Teles, V. Santos & P. Quaresma (2023): A Rule Based Theorem Prover: An Introduction to Proofs in Secondary Schools. In: EPTCS 375, pp. 24–37, doi:10.4204/EPTCS.375.3.
  10. A. Thaller & Z. Kovács (2021): Online Generation of Proofs Without Words. In: Automated Deduction in Geometry (ADG 2021) EPTCS 352, pp. 103–105, doi:10.4204/EPTCS.352.10.
  11. 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. Journal of Automated Reasoning 45, pp. 213–241, doi:10.1007/s10817-009-9162-5.
  12. 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. Journal of Automated Reasoning 45, pp. 243–266, doi:10.1007/s10817-009-9163-4.
  13. Z. Ye, S.C. Chou & X.S. Gao (2011): An Introduction to Java Geometry Expert – (Extended Abstract). In: Automated Deduction in Geometry – 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers. Lecture Notes in Computer Science 6301. Springer, pp. 189–195, doi:10.1007/978-3-642-21046-4_10.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org