7 citations · 19 across the 17 of their papers we have counts for
1 paper · 1 filter
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…