HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:geometry

Papers
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
Copyright © 2012-2023 easychair.org. All rights reserved.