Keyword:geometry

Papers
Variations on Menger-Diaz Sponges Manuel Diaz Regueiro and Luis Diaz Allegue EasyChair Preprint no. 10103
Geometry and its Uses in Day to Day Life Naorem Akash Singh EasyChair Preprint no. 8004
Roof Design Efficiency for Energy Consumption in Residential Units Marcel Maghiar, Keertan Akshar, Gustavo Maldonado and Clinton Martin In:ASC2022. 58th Annual Associated Schools of Construction International Conference
Semantic Parsing of Geometry Statements Using Supervised Machine Learning on Synthetic Data Salwa Tabet Gonzalez, Stéphane Graham-Lengrand, Julien Narboux and Natarajan Shankar EasyChair Preprint no. 6414
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