A simple proof of correctness of folding the regular heptagon
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
9978
Dis Auftri
DIS_ZEITSC_9978
Jahr
2025
Titel
A simple proof of correctness of folding the regular heptagon
Quelle
Journal of Automated Reasoning, 69, 27, ink.springer.com/article/10.1007/s10817-025-09740-x
Autoren
