Keyword:geometry

Publications
On the Maximum Distance Sublattice Problem and Closest Vector Problem Rajendra Kumar, Shashank Mehta and Mahesh Rajasree EasyChair Preprint 14971
Variations on Menger-Diaz Sponges Manuel Díaz Regueiro and Luis Diaz Allegue EasyChair Preprint 10103
Geometry and its Uses in Day to Day Life Naorem Akash Singh EasyChair Preprint 8004
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 6414
Solved Problems on Sequences in the Training of High School Students for International Mathematical Olympiads Juan López Linares EasyChair Preprint 1125
DIN, DON, DAN - Geometry and Bells Graciela Marina Colagreco and Gunter Weiss EasyChair Preprint 308
On Expanding Standard Notions of Constructivity Liron Cohen and Ariel Kellison EasyChair Preprint 189
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
Compass-free Navigation of Mazes Phil Scott and Jacques Fleuriot In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
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
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