HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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