×
艾达、铁雄；法杜阿·古拉比；高桥，Kazuko

将多边形结折纸形式化。 （英语） Zbl 1314.68348号

J.塞姆。计算。 69, 93-108 (2015).
摘要：我们介绍了用折纸法计算机辅助构建规则多边形结。构造是通过基于代数方法的自动证明完成的。给定一个长度足够的矩形折纸或有限的纸带，我们可以通过三次折叠来构造最简单的结。如果我们在不扭曲胶带的情况下紧紧地系紧绳结，绳结的形状就会变成正五边形。我们对结褶进行了进一步的形式化分析，以实现自动化构造和验证。特别地，我们展示了正五边形和正七边形结的构造和证明。我们使用了一种名为Eos（电子折纸系统）的软件工具，该工具结合了Huzita基本折叠运算的扩展用于构建，以及Gröbner基计算用于证明。我们的研究产生了更多关于多边形结的数学严谨性和深入的结果。

引用于2文件

MSC公司：

68单位05 计算机图形；计算几何（数字和算法方面）
57平方米 球体中的结和链接（MSC2010）
68吨15 定理证明（演绎、解析等）（MSC2010）
68瓦30 符号计算和代数计算

关键词：

计算折纸；结褶；Gröbner碱；几何定理证明

软件：

数学软件；枣灰蝶属
PDF格式BibTeX公司 XML格式引用
\textit｛T.Ida｝等人，J.Symb。计算。69、93——108（2015年；Zbl 1314.68348）
全文： 内政部

参考文献：

[1] 亚历山大·J·W。；Briggs，G.B.，《关于打结曲线的类型》，《数学年鉴》。，28, 1/4, 562-586 (1926) ·JFM 53.0549.02号
[2] 阿尔佩林，R.C。；Lang，R.J.，《一、二和多重折纸公理》，（折纸），第四届折纸科学、数学和教育国际会议论文集\（折纸），第四届国际折纸科学、数学和教育会议记录，OSME（2009），371-393
[3] Brunton，J.K.，《多边形结》，《数学》。天然气。，45, 354, 299-301 (1961) ·Zbl 0109.41603号
[4] Buchberger，B。；杜普雷，C。；Jebelean，T。；Kriftner，F。；Nakagawa，K。；瓦萨鲁，D。；Windsteiger，W.，Theorema项目：进度报告，（符号计算和自动推理。符号计算和自动化推理，Calculemus，2000（2000），圣安德鲁斯：圣安德鲁斯苏格兰），98-113·Zbl 1017.68110号
[5] Geretschläger，R.，《折纸数学》（2002），Morikita Publishing Co.，（日语）。福川英寿翻译
[6] Ghourabi，F。；艾达·T。；Kasem，A.，《自动折纸定理证明的证明文件》，（《几何中的自动演绎》，《几何学中的自动推导》，Lect.Notes Compute.Sci.，第6877卷（2011年），Springer），78-97·Zbl 1350.68235号
[7] Ghourabi，F。；艾达·T。；Takahashi，K.，规则七角形结折叠的逻辑和代数观点，（软件科学中符号计算国际研讨会论文集。软件科学中的符号计算国际会议论文集，SCSS2013。软件科学符号计算国际研讨会论文集。软件科学符号计算国际研讨会论文集，SCSS2013，EPiC Ser。，第15卷（2013），EasyChair:EasyChair Hagenberg，奥地利），50-63
[8] Ghourabi，F。；Kasem，A。；Kaliszyk，C.，Huzita折纸运算及其扩展的代数分析，（《几何中的自动推导》。《几何中的自动推导》，Lect.Notes Comput.Sci.，第7993卷（2013），施普林格：施普林格-柏林，海德堡），143-160·Zbl 1306.52008年
[9] Huzita，H.，折纸几何的公理化发展，（第一届国际折纸科学与技术会议论文集（1989）），143-158
[10] 艾达·T。；Ghourabi，F。；Takahashi，K.，《正多边形的结折叠：计算机辅助构造和验证》，（第十五届科学计算符号和数值算法国际研讨会。第十五届科技计算符号和数字算法国际研讨会，SYNASC 2013（2014），IEEE计算机学会），12-19
[11] 艾达·T。；Kasem，A。；Ghourabi，F。；Takahashi，H.，《重温莫利定理：折纸构造和自动证明》，J.Symb。计算。，46571-583（2011年）·Zbl 1211.51011号
[12] 艾达·T。；Takahashi，H.，《折纸折叠作为代数图重写》，J.Symb。计算。，45, 393-413 (2010) ·Zbl 1214.05092号
[13] 艾达·T。；高桥，H。；马林，M。；Ghourabi，F。；Kasem，A.，《折纸中最大等边三角形的计算构造》（数学软件，数学软件，ICMS 2006）。数学软件。数学软件，ICMS 2006，Lect。注释计算。科学。，第4151卷（2006），施普林格），361-372·Zbl 1230.51023号
[14] Maekawa，J.，《结带研究导论》（折纸），第四届国际折纸科学、数学和教育会议论文集\（折纸），《第四届折纸科学、数学和教育国际会议论文集》，第五届OSME（2011），CRC出版社，395-403
[15] 罗布，J。；Tepenu，D。；艾达·T。；高桥，H。；Buchberger，B.，正七边形的计算折纸构造及其正确性的自动证明，（ADG 2004年会刊，第五届几何自动推导国际研讨会。ADG 2004年会刊，第五届几何自动推导国际研讨会，Lect.Notes Comput.Sci.，vol.3763（2006），施普林格：施普林格柏林/海德堡），19-33·Zbl 1159.68558号
[16] Sakaguchi，K.，《用打结纸片制作多边形》（1982），奈良教育大学教育研究所，第18、55-58页
[17] Sasaki，T.，近似Gröbner基的理论和算法，（第13届科学计算符号和数值算法国际研讨会。第13届科技计算符号和数字算法国际研讨会，SYNASC 2013（2012），IEEE计算机学会），23-30
[18] Wells，D.，《企鹅奇趣几何词典》（1991），企鹅图书有限公司·Zbl 0856.00005
[19] Wolfram Research，Inc.，数学版：9.0.0版（2012）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。