×
帕斯卡·施莱克

关于机械化直尺和罗盘构造。 （英语） Zbl 1410.51025号

J.系统。科学。复杂。 32，第1期，124-149（2019）.
摘要：仅用直尺和指南针获得的几何结构是著名的，在几何学的发展中起着特殊的作用。一方面，图形的可构造性是欧几里德几何的关键要素，另一方面，不可构造性产生了古希腊著名的开放问题，这些问题直到十九世纪才通过代数的发现得以解决。本文讨论了直尺和罗盘结构的机械化。重点介绍了代数方法，并给出了两种实现方法；一个是由勒贝格设计的，另一个是高和周联合设计的。描述了构造的代数方法和合成几何之间的一些联系。

引用于三文件

MSC公司：

2015年11月51日 实几何或复杂几何中的几何构造

关键词：

基于几何知识的系统；规则链；直尺和罗盘的可建造性；三角形问题；吴的方法

软件：

正则链；GeoGebra公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Schreck}，J.系统。科学。复杂。32，第1号，124--149（2019；Zbl 1410.51025）
全文： 内政部 哈尔

参考文献：

[1] Chemla K和Guo S C，Les neuf chapiteres-Le classique mathematique de la Chine ascinne et ses commentaires，Dunod，2005年。
[2] 吴文涛，《吴文荪文选》，世界科学出版社，新加坡，2008年·Zbl 1181.01056号
[3] Wernick W，带三个定位点的三角形构造，数学杂志，1982年，55:227-230·Zbl 0497.51016号
[4] 欧几里得，欧几里得亚：欧几里德的建筑很有趣，网址：https://www.euclidea.xyz/, 2016-2018.
[5] Laborde J M和Strasser R，《Cabri-géométre：用于引导发现学习的几何微观世界》，Zentrablatt FüR Didactic der Matematik，1990，22（5）：171-177。
[6] 霍恩瓦特，M。；Fuchs，K.，软件系统geogebra中动态几何、代数和微积分的组合（2004）
[7] Schreck P和Mathis P，几何构造问题语料库的自动构造性检查，计算机科学中的数学，2016，10（1）：41-56·Zbl 1342.51018号
[8] Connelly H，从定位点延伸三角形结构，《几何论坛》，2009年，9:109-112·Zbl 1168.51302号
[9] 赫尔·T·C，用折痕解决立方体：贝洛赫和里尔的作品，《美国数学月刊》，2011，118（4）：307-315·Zbl 1215.51011号
[10] 贾斯汀·J，《纸品数学方面》，欧弗特，1987（47）：1-14。
[11] 阿尔佩林·R·C，《折纸结构和数字的数学理论》，《纽约数学杂志》，2000，6（119）：133-148·Zbl 1065.51501号
[12] Ida T、Ghorabi F和Takahashi K，《多边形结折纸的形式化》，《符号计算杂志》，2015，69（1）：93-108·Zbl 1314.68348号
[13] Carréga J C，《军团之歌》，赫尔曼，巴黎，1981年·Zbl 0491.12023号
[14] Botana F和Recio T，论动态几何证明中不可避免的真理不确定性，计算机科学中的数学，2016，10（1）：5-25·Zbl 1357.68197号
[15] Schreck P，《建筑自动化》（Automatisation des constructions），《建筑与商业》，博士论文，1993年。
[16] Schreck P，《联合国系统基础的现代化与植入》，《建筑技术评论》，1994年，8（3）：223-247。
[17] 斯图尔特一世，伽罗瓦理论，第三版，查普曼霍尔，博卡拉顿，2003年·Zbl 0694.12001号
[18] Mathis，P。；Schreck，P。；Davenport，J.H（编辑）；Ghourabi，F.（编辑），《自动确定三角形中的指南针和直尺不可施工性》（2016年）
[19] Lebesgue H，Leçons surles constructions géométriques，Gauthier-Villars，巴黎，1950年。法国雅克·加贝出版社（Editions Jacques Gabay）翻版·兹比尔0035.09601
[20] Chen G T，Les constructions a la règle et au compas par une méthode algébrique，技术报告硕士论文，路易斯·巴斯德大学，1992年。
[21] 高晓思，周思聪，求解几何约束系统，II，Rc-可构性的符号方法与判定，计算机辅助设计，1998，30（2）：115-122。
[22] Landau S Z和Miller G L，多项式时间内自由基的可解性，计算机与系统科学杂志，1985，30（2）：179-208·Zbl 0586.12002号
[23] 吴文堂，初等几何中机械定理证明的基本原理，符号计算杂志，1984，4:207-235。
[24] 周思聪，《吴氏几何力学定理证明方法简介》，《自动推理杂志》，1988年，4:237-267·Zbl 0715.03005号
[25] Kalkbrener M，计算代数簇三角表示的广义欧几里德算法，《符号计算杂志》，1993，15（2）：143-167·Zbl 0783.14039号
[26] 卡普尔，D。；Saxena，T。；Levet，A.H M.（编辑），各种多元合成配方的比较，187-194（1995），加拿大·Zbl 0916.65048号
[27] Buchberger B和Winkler F，Gröbner Bases and Applications，剑桥大学出版社，1998年·Zbl 0883.00014号
[28] 卡普尔，D。；Wang，D.M（编辑），自动几何推理：Dixon结果、gröbner基和特征集（1996）
[29] 王德明，论ritt特征集与buchberger-gröbner基的关系，计算机科学中的数学，2016，10（4）：479-492·Zbl 1388.13058号
[30] Aubry P、Lazard D和Moreno-Maza M，《三角集理论》，《符号计算杂志》，1999年，28（2）：105-124·Zbl 0943.12003号
[31] Lemaire F、Maza M M和Xie Y Z，MAPLE中的正则链库，ACM SIGSAM公告，2005，39（3）：96-97·Zbl 1114.68628号
[32] Hulpke，A。；Matzat，B.H（编辑）；Greuel，G.M（编辑）；Hiss，G.（编辑），伽罗瓦群的计算技术，65-77（1999）·Zbl 0959.12003号
[33] Meyers L F，William Wernick的更新，三个定位点的三角形构造，数学杂志，1996，69（1）：46-49·Zbl 0860.51014号
[34] Narboux J和Braun D，朝向三角形中心百科全书的认证版本，计算机科学中的数学，2016，10（1）：17·Zbl 1343.51001号
[35] Song D，Wang D M，Chen X Y，从图像中检索几何信息：手绘图形的案例，Data Min.Knowl。发现。，2017, 31(4): 934-971. ·Zbl 1411.68135号
[36] 比森，M。；库珀，S.B（编辑）；Dawar，A.（编辑）；Löwe，B.（编辑），《尺子和罗盘构造的逻辑》，46-55（2012）·Zbl 1357.03093号
[37] Scandura J M、Durnin J H和Wulfeck I I W H，几何中指南针和直边构造启发式的高阶规则表征，人工智能，1974，5（2）：149-183·Zbl 0288.68051号
[38] Polya G，《数学发现第二卷：关于理解、学习和教学问题解决》，John Wiley and Sons Inc，1965年·Zbl 0125.27301号
[39] Buthion M，《联合国建筑问题解决方案》，RAIRO Informatique，1979年，13（1）：73-106·兹比尔0403.51014
[40] Aldefeld B，基于几何推理方法的几何变量，计算机辅助设计，1988，20（3）：117-126·Zbl 0656.65017号
[41] Dufourd J F、Mathis P和Schreck P，通过组装求解的子图形进行几何构造，Artif。智力。，1998，99（1）：73-119·Zbl 0903.68149号
[42] Schreck P和Mathis P，《几何约束系统分解：多组方法》，国际计算杂志。几何应用。，2006, 16(5-6): 431-442. ·Zbl 1105.65312号
[43] Gao，X.S。；霍夫曼，C.M。；杨伟强。；塞德尔·H·P（编辑）；Shapiro，V.（编辑）；Lee，K.（编辑）；等。，用轨迹交点求解空间基本几何约束配置，95-104（2002）
[44] Marinković，V。；贾尼奇，P。；Jeuring，J.（编辑）；等。，了解三角形构造问题（2012年）
[45] Schreck P、Marinkovic V和Janicic P，三角定位问题的可构造性类，计算机科学中的数学，2016，10（1）：27-39·Zbl 1342.51017号
[46] 马里科维奇，V。；Janicic，P.等人。；Schreck，P。；Botana，F.（编辑）；Quaresma，P.（编辑），《几何构造问题可验证解决的计算机定理证明》，72-93（2014）·Zbl 1434.03032号
[47] Gulwani，S。；Korthikanti，V.A。；Tiwari，A.，《综合几何结构》，50-61（2011）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。