×

几何问题的分类。 (英语) Zbl 1444.68292号

摘要:在当前的信息社会中,信息的组织是确保信息安全保存和检索的关键。至关重要的是,每个用户都能找到他/她想要的信息,并以最适合他/她的需求的方式呈现。几何也不例外,几何信息的服务器应该能够轻松、成功地进行搜索。通过根据几种分类法对几何信息服务器中包含的信息进行分类,可以开始对用户的查询应用过滤器,并根据感知到的用户需求进行调整。考虑到这一点,考虑在几何信息服务器中引入自适应过滤机制。
针对不同的目标提出了不同的分类。出于教育目的,分类如下通用核心标准应该考虑,但还应该考虑其他因素,如构造的复杂性、几何自动定理证明程序对给定猜想的可证明性以及结果证明的可读性。对于自动扣除目的的研究,必须考虑其他问题,例如可用自动校准仪的效率和适用性。为了验证这些分类法的有用性,将其应用于几何信息服务器,作为一个案例研究。特别是,将考虑几何定理证明程序的数千个几何问题。TGTP是一个基于Web的几何问题库,用于支持几何自动定理证明系统的测试和评估。使用该系统,将分析分类法如何帮助定制适合每个几何图形的信息搜索。

理学硕士:

68伏30 数学知识管理
68单位05 计算机图形;计算几何(数字和算法方面)
68伏15 定理证明(自动和交互式定理证明、演绎、解析等)
68伏35 数字数学图书馆和知识库
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Altshiller-Court,Nathan,《大学几何:三角形和圆的现代几何导论》(Dover Books on Mathematics)(2007),Dover Publications,第二版作品的完整再版·Zbl 1208.51001号
[2] 弗朗西斯科·博塔纳;马库斯·霍恩沃特;贾尼契奇,普雷德拉格;佐尔坦科瓦奇;Petrović,Ivan;雷西奥,托马斯;Weitzhofer,Simon,《GeoGebra中的自动定理证明:当前成就》,J.Autom。原因。,55, 1, 39-59 (2015) ·Zbl 1356.68181号
[3] 皮埃尔·布特里;朱利安·纳布克斯;帕斯卡·施雷克;Gabriel Braun,《使用小规模自动化提高几何形式证明的可访问性和可读性》(Botana,Francisco;佩德罗·夸雷斯马(Pedro Quaresma),第十届几何自动演绎国际研讨会初步会议记录。第十届几何自动演绎国际研讨会初步会议记录,ADG 2014(2014),31-49,编号2014/001,CISUC技术报告,葡萄牙科英布拉
[4] Chou,Shang Ching,《机械几何定理证明》(1988),D.Reidel出版社·Zbl 0661.14037号
[5] 周尚卿;高晓山,《几何中的自动推理》(Robinson,John Alan;Voronkov,Andrei,《自动推理手册》(2001),Elsevier Science Publishers B.V.),707-749·Zbl 1011.68128号
[6] 周尚卿;高小山;张景忠,《几何中的机器证明》(1994),《世界科学》·Zbl 0941.68503号
[7] 周尚卿;高小山;张景忠,用几何不变量自动生成可读证明,I.多重和最短证明生成,J.Autom。原因。,17, 3, 325-347 (1996) ·Zbl 0865.68109号
[8] 周尚卿;高小山;张景忠,用几何不变量自动生成可读证明,II。定理的全角度证明,J.Autom。原因。,17, 3, 349-370 (1996) ·Zbl 0865.68110号
[9] 周尚卿;高小山;张景忠,自动几何定理证明和发现的演绎数据库方法,J.Autom。原因。,25, 3, 219-246 (2000) ·Zbl 0961.68121号
[10] 海尔德·科埃略;Pereira,Luis Moniz,用Prolog进行几何定理证明的自动推理,J.Autom。原因。,2、4、329-390(1986年12月)
[11] de Bruijn,Nicolaas Govert,关于自动机的论文选集,(automath项目调查。automath项目调查,逻辑研究和数学基础,第133卷(1994年),爱思唯尔:爱思唯尔阿姆斯特丹),141-161
[12] 迈克尔·德·维利尔斯(Michael de Villiers),《证明在数学中的作用和功能》,毕达哥拉斯,24,17-24(1990)
[13] 赫伯特·盖伦特(Herbert Gelernter),《几何定理证明机器的实现》(Computers&Though,1995),麻省理工学院出版社:麻省理工学院出版社,马萨诸塞州剑桥,美国),134-152
[14] Grüttner,Adalbert,Die Grundlagen der Geometrographie(1912年),Nischkowsky:Nischkovsky Breslau·JFM 43.0579.02号
[15] Hanna,Gila,《证明、解释和探索:概述》,《教育》。数学研究生。,44, 1-2, 5-23 (2000)
[16] (Hanna,Gila;de Villiers,Michael,《数学教育中的证明与证明》,《数学教学中的证明和证明》,新ICMI研究系列,第15卷(2012),Springer)·兹比尔1234.00015
[17] 吉拉·汉娜;西多利(Sidoli)、内森(Nathan),《可视化与证明:哲学观点的简要调查》(Visualization and proof:a brief surview of philological perspectives),ZDM,Zent.bl.Didakt。数学。,39, 1-2, 73-78 (2007)
[18] Haralambous,Yannis;Quaresma,Pedro,《使用受控语言查询几何图形、本体图和依赖格》,(Watt,S.M.;Davenport,J.H.;Sexton,a.P.;Sojka,P.;Urban,J.,CICM 2014。CICM 2014,LNAI,第8543卷(2014),施普林格),298-311·Zbl 1304.68170号
[19] Haralambous,Yannis;Quaresma,Pedro,TGTP中的几何搜索,(李洪波,第十二届几何自动演绎国际会议论文集(2018)),19-25
[20] 罗宾·哈特肖恩(Robin Hartshorne),《几何:欧几里德及其后》(Geometry:Euclid and Beyond,2000),施普林格(Springer)·Zbl 0954.51001号
[21] Hearst,Marti A.,《搜索用户界面》(2009),剑桥大学出版社
[22] 托马斯·希思,《欧几里得要素十三书》,第3卷(1908年),剑桥大学出版社
[23] Hohenwarter,Markus,Geogebra–动态几何和平面代数软件系统(2002),萨尔茨堡大学:奥地利萨尔茨堡学院,硕士论文
[24] Janićić,Predrag,几何构造语言,J.Autom。原因。,44, 3-24 (2010) ·Zbl 1185.68626号
[25] Janićić,Predrag,GCLC——一个用于构造欧几里德几何的工具,以及更多,(Iglesias,Andrés;Takayama,Nobuki,数学软件——ICMS 2006。数学软件-ICMS 2006,计算机科学讲义,第4151卷(2006),Springer),58-73·Zbl 1230.51024号
[26] 贾尼契奇,普雷德拉格;Quaresma,Pedro,《动态几何系统中规则结构的自动验证》,(Botana,Francisco;Recio,Tomás,《几何中的自动演绎》,《计算机科学课堂讲稿》,第4869卷(2007),Springer),39-51·Zbl 1195.68092号
[27] 贾尼契奇,普雷德拉格;朱利安·纳布克斯;夸雷斯马,佩德罗,面积法:概述,J.Autom。原因。,48, 4, 489-532 (2012) ·Zbl 1242.68281号
[28] 姜建国;张景忠,《几何定理可读机器证明的回顾与展望》,J.Syst。科学。复杂。,25, 4, 802-820 (2012) ·Zbl 1291.68351号
[29] Lemoine、Émile、Géométrographice和Géométriques建筑艺术。《科学》杂志第18名,《塞里·物理-数学》(Février 1902),C.Naud,编辑:C.Naud,编辑:巴黎
[30] (Lin,Fou-Lai;Hsieh,Feng-Jui;Hanna,Gila;de Villiers,Michael,《ICMI研究19会议论文集》,《ICSI研究19会议文献集,数学教育中的证明与证明》,第1卷(2009),国立台湾师范大学数学系)
[31] (林福来;谢凤奎;汉娜吉拉;德维利尔斯迈克尔,《国际数学学会研究19会议录:数学教育中的证明与证明》,第2卷(2009),国立台湾师范大学数学系)
[32] Loria,Gino,《几何图形》和《几何图形》。数学。,3, 6, 114-122 (1908) ·JFM 39.0559.01标准
[33] 麦凯,约翰·斯特金,《欧几里德问题的几何画法》,Proc。爱丁堡。数学。Soc.,12,2-16(1893年)·JFM 25.0900.09号
[34] Martin,George,《几何构造》(1998),Springer·Zbl 0890.51015号
[35] 威廉·麦卡卢姆(William McCallum),《数学中的共同核心国家标准》(The Common Core State Standards in Mathematics),547-560(2015),施普林格:施普林格商学院
[36] Merikoski,Jorma K。;Timo Tossavainen,《几何图形的两种方法》,J.Geom。图表。,13, 1, 15-28 (2010) ·Zbl 1200.51012号
[37] 格伦·莫罗(Glenn R.Morrow)、普鲁克鲁斯(Proclus),《欧几里德元素第一书评注》(A Commentary on the First Book of Euclid’s Elements)。经典/数学史(1992),普林斯顿大学出版社
[38] Julien Narboux,《几何形式证明的图形用户界面》,J.Autom。原因。,39, 161-180 (2007) ·Zbl 1131.68094号
[39] Pāk,Karol,基于密切参考原理提高形式证明的易读性是NP难的,J.Autom。原因。,55、3、295-306(2015年10月)
[40] 范、团明;Bertot,Yves,动态几何软件与交互式形式证明的证明助手的组合,Electron。注释Theor。计算。科学。,285,43-55(2012),第九届定理证明者用户界面国际研讨会论文集(UITP10)·Zbl 1294.68126号
[41] Pinheiro,Vergílio Athayde,Geometrografia 1(1974),Gráfica编辑Bahiense
[42] Quaresma,Pedro,《几何定理证明器的数千个几何问题》(TGTP),(Schreck,Pascal;Narboux,Julien;Richter-Gebert,Jürgen,《几何中的自动演绎》,《计算机科学讲义》,第6877卷(2011),Springer),169-181·Zbl 1350.68243号
[43] 佩德罗·夸雷斯马(Pedro Quaresma),《走向智能动态几何》(Towards a intelligent and dynamic geometry book),《数学》(Math)。计算。科学。,11、3-4、427-437(2017年12月)
[44] 佩德罗·夸雷斯马;Vanda Santos,《学习环境中的视觉几何证明》,(Neuper,Walther;Quaresma,Pedro,《ThEdu'15学报》。《ThEdu’15会议录》,CISUC技术报告,第2016001卷(2016),CISUB),1-6
[45] 佩德罗·夸雷斯马;桑托斯,万达;Baeta,Nuno,应用程序之间的几何信息交换,(Quaresma,Pedro;Neuper,Walther,ThEdu’17 PostProceedings。ThEdu‘17 PostJoeedings,EPTCS,第267卷(2018),开放出版协会),108-119
[46] 佩德罗·夸雷斯马;桑托斯,万达;Marić,Milena,WGL,Edu几何网络实验室。技术信息。,23,1237-252(2018年1月)
[47] 里希特·盖伯特(Jürgen Richter-Gebert);Kortenkamp,Ulrich,交互式几何软件Cinderella(1999),Springer·Zbl 0926.51002号
[48] Rivera,Ferdinand D.,《数学共同核心国家标准教学》(2013),Sense出版社
[49] Rowe,Mary Budd,《等待时间和奖励作为教学变量:它们对语言、逻辑和命运控制的影响》(1972年),国家科学教学研究协会,技术报告
[50] 桑托斯,万达;佩德罗·夸雷斯马;海伦娜·坎波斯;Marić,Milena,网络几何实验室:葡萄牙和塞尔维亚的案例研究,Interact。学习。环境。,26, 1, 3-21 (2018)
[51] 内森·西多利(Nathan Sidoli),《欧几里德元素I-VI中的问题和定理的构造用法》(Arch)。历史。精确科学。,72, 4, 403-452 (2018) ·兹比尔1397.01007
[52] Stahl,Robert J.,《在课堂上熟练使用“思考时间”和“等待时间”》(1994年),技术报告,《ERIC文摘》
[53] 萨那斯托亚诺维奇;巴甫洛维奇,韦斯纳;Janićić,Predrag,一种能够产生形式化和可读证明的基于连贯逻辑的几何定理证明器,(Schreck,Pascal;Narboux,Julien;Richter-Gebert,Jürgen,《几何中的自动演绎》,《计算机科学讲义》,第6877卷(2011),施普林格:施普林格-柏林,海德堡),201-220·Zbl 1252.68264号
[54] 联合国教科文组织,《国际教育标准分类:2011年国际教育分类标准》(2012年),UIS:UIS蒙特利尔,魁北克
[55] Usiskin,Zalman,van Hiele Levels and Achievement in Secondary School Geometry(1982),芝加哥大学,技术报告
[56] 王,柯;苏振东,《用于人类可读证明的自动几何定理证明》,(《第24届国际人工智能会议论文集》,第24届人工智能国际会议论文集,IJCAI’15(2015),AAAI出版社),1193-1199
[57] Wiedijk,Freek,The de Bruijn factor,(2000年8月14日至18日,美国俄勒冈州波特兰TPHOL2000,高阶逻辑定理证明国际会议海报)
[58] Wu,Hung-Hsi,《根据共同核心标准教授几何》(2012年)
[59] Ye,Zheng;周尚卿;高晓山,平面几何证明的视觉动态呈现:第1部分。基本功能和手动输入方法,J.Autom。原因。,45、3、213-241(2010年10月)
[60] Ye,Zheng;周尚卿;Gao,XiaoShan,平面几何证明的可视化动态表示:第2部分。使用全角度方法和演绎数据库方法自动生成视觉动态演示,J.Autom。原因。,45、3、243-266(2010年10月)
[61] Ye,Zheng;周尚卿;高晓山,《java几何专家简介》(Sturm,Thomas;Zengler,Christoph,《几何中的自动演绎》,《几何的自动演绎,计算机科学讲义》,第6301卷(2011),施普林格:施普林格-柏林-海德堡),189-195·兹比尔1302.68247
[62] 张景忠;周尚卿;高晓山,欧几里德几何定理传统证明的自动生成i.希尔伯特交点定理,《数学年鉴》。Artif公司。智力。,13、1-2、109-137(1995年3月)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。