GeoGebra discovery in context

DOI10.4204/EPTCS.352.16MaRDI QIDQ6653968zbMATH OpenFDO

Authors Zoltán Kovács, Tomas Recio, M. Pilar Vélez

Publication date 17 December 2024

Full work available at URL https://doi.org/10.4204/EPTCS.352.16

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Symbolic computation and algebraic computation (68W30)

Cites work

• A mechanical geometer
• Automatic discovery of theorems in elementary geometry
• Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations
• Giac and GeoGebra -- improved Gröbner basis computations
• scientific article; zbMATH DE number 3278999 (Why is no real title available?)
• Towards an Automated Geometer

This page was built for publication: GeoGebra discovery in context

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6653968)