Interactive construction and automated proof in Eos system with application to knot fold of regular polygons

DOI10.1090/MBK/095.1/06MaRDI QIDQ5078736zbMATH OpenOpenAlexFDO

Authors Fadoua Ghourabi, Tetsuo Ida, Kazuko Takahashi

Publication date 24 May 2022

Published in Origami⁶ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/mbk/095.1/06

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to convex and discrete geometry (52-04) Polyhedral manifolds (52B70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Interactive construction and automated proof in Eos system with application to knot fold of regular polygons

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5078736)