40 citations · 96 across the 32 of their papers we have counts for
1 paper · 2 filters
Lev Beklemishev, Anna Dmitrieva, Johann A. Makowsky
We provide a variant of an axiomatization of elementary geometry based on logical axioms in the spirit of Huzita--Justin axioms for the Origami constructions. We isolate the fragme…