Abstracts & Presentations

Accepted Papers - Abstracts

Singular points of plane curves obtained from geometric constructions: automated methods in man-and-machine collaboration, Thierry Dana-Picard (102 kB)
Geometry Machine Revisited, Predrag Janičić and Julien Narboux (118 kB)
Is a regular polygon determined by its diagonals?, Gábor Gévay, Benedek Kovács and Zoltán Kovács (147 kB)
A Generator of Geometry Deductive Database Method Provers, Pedro Quaresma and Nuno Baeta (67 kB)
An Automated Approach towards Constructivizing the GeoCoq Library, Alexandre Jean, Pierre Boutry, and Nicolas Magaud (182 kB)
ADG-Lib Initiative, Pedro Quaresma et al. (110 kB)
Towards a Structural Analysis of Interesting Geometric Theorems: Analysis of a Survey, Pedro Quaresma and Pierluigi Graziani (68 kB)
Proving theorems on regular polygons by elimination — the elementary way, Zoltán Kovács (130 kB)
First-Order Simplification of GeoCoq using Dedukti, Yoan Géran and Pierre Boutry (219 kB)
Computing loci with GeoGebra-Discovery: some issues and suggestions, Álvaro Pereira-Albert, Tomás Recio and M. Pilar Vélez (116 kB)
Inference Maximizing Point Configurations for Parsimonious Algorithms, Shivam Sharma and John Keyser (159 kB)
IsaGeoCoq, a port of GeoCoq with Isabelle/HOL, Roland Coghetto (53 kB)
On the Coq/Rocq Mechanization of Beeson's "On the Notion of Equal Figures in Euclid", Prunelle Colin and Pierre Boutry (100 kB)
Towards automatic detection of geometric difficulty of geometry problems, András Kerekes and Zoltán Kovács (156 kB)
Manifold-based Proving Methods in Projective Geometry, Michael Katzenberger and Jürgen Richter-Gebert (143 kB)
Different Types of Locus Dependencies in Solving Geometry Construction Problems, Vesna Marinković, Tijana Šukilović and Filip Marić (197 kB)

Presentations

Invited Talk: Automating Geometry Construction Problems, Vesna Marinković, Faculty of Mathematics, University of Belgrade, Serbia (1 MB)
Towards a Structural Analysis of Interesting Geometric Theorems: Analysis of a Survey, Pedro Quaresma and Pierluigi Graziani, University of Coimbra, Portugal and University of Urbino, Italy (210 kB)
Manifold-based Proving Methods in Projective Geometry, Michael Katzenberger and Jürgen Richter-Gebert, Technical University of Munich, Germany (741 kB)
Is a regular polygon determined by its diagonals?, Gábor Gévay, Benedek Kovács and Zoltán Kovács, Bolyai Institute, University of Szeged, Hungary and PHDL, Linz, Austria + RISC, Hagenberg, Austria (3 MB)
Computing loci with GeoGebra-Discovery: some issues and suggestions, Á. Pereira-Albert, T. Recio, M. P. Vélez, Universidad Nebrija, Spain (1 MB)
Inference Maximizing Point Configurations for Parsimonious Algorithms, Shivam Sharma and John Keyser, Texas A&M University, USA (689 kB)
Different Types of Locus Dependencies in Solving Geometry Construction Problems, Vesna Marinković, Tijana Šukilović and Filip Marić, Faculty of Mathematics, University of Belgrade, Serbia (376 kB)
Towards automatic detection of geometric difficulty of geometric problems, Zoltán Kovács and András Kerekes, PHDL, Linz, Austria + RISC, Hagenberg, Austria and Radnóti Miklós High School, Szeged, Hungary (11 MB)
Singular points of envelopes and offsets: mathematical and educational challenges, Thierry Dana-Picard, Jerusalem College of Technology and Jerusalem Michlala College, Israel (3 MB)
An Automated Approach towards Constructivizing the GeoCoq Library, University of Strasbourg, France (624 kB)
ADG-Lib Initiative, ADG-Lib Initiative Team (215 kB)
A Generator of Geometry Deductive Database Method Provers, Pedro Quaresma and Nuno Baeta, University of Coimbra, Portugal (180 kB)
IsaGeoCoq, a port of GeoCoq with Isabelle/HOL, Roland Coghetto, Independant scholar, Belgium (2 MB)
Proving theorems on regular polygons by elimination - the elementary way, Zoltán Kovács, PHDL, Linz, Austria + RISC, Hagenberg, Austria (2 MB)