Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.