Keyword:geometry

Papers
Solved Problems on Sequences in the Training of High School Students for International Mathematical Olympiads Juan López Linares EasyChair Preprint no. 1125
DIN, DON, DAN - Geometry and Bells Graciela Marina Colagreco and Gunter Weiss EasyChair Preprint no. 308
On Expanding Standard Notions of Constructivity Liron Cohen and Ariel Kellison EasyChair Preprint no. 189
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry Pierre Boutry, Gabriel Braun and Julien Narboux In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
Compass-free Navigation of Mazes Phil Scott and Jacques Fleuriot In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
Automation for Geometry in Isabelle/HOL Laura Meikle and Jacques Fleuriot In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning