×

兹马思-数学第一资源

从图的图像自动生成几何定理。(英语) Zbl 1330.68263
摘要:我们提出了一种从电子图像中自动生成几何定理的方法。该方法利用Hough变换识别几何对象及其标记,并利用数值验证技术挖掘基本几何关系。利用六种策略从检索到的信息中生成候选命题,并通过代数运算得到候选命题的几何定理。初步实现的实验证明了该方法从图的图像生成非平凡定理的有效性和有效性。这项工作证明了从简单的图像数据中自动发现深刻的几何知识的可行性,在几何知识管理和教育中具有潜在的应用前景。

理学硕士:
68T15型 定理证明(演绎、解析等)(MSC2010)
68吨10 模式识别,语音识别
68U05 计算机图形学.计算几何(数字和算法方面)
68U10 图像处理的计算方法
94A08型 信息与通信理论中的图像处理(压缩、重建等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Avigad,J.,Dean,E.,Mumma,J.:欧几里得元素的正式系统。版次。符号逻辑2(4) ,700-768(2009年)·Zbl 1188.03008号
[2] Balbiani,P.,Fariñas del Cerro,L.:射影几何中的图解推理。作者:Ohlbach,H.J.,Reyle,U.(编辑),《逻辑、语言与推理》。《逻辑趋势》,第5卷,第99-114页。多德雷赫特Kluwer(1999)·Zbl 0949.03008
[3] Botana,F:基于web的几何发现智能系统。在:计算科学-ICCS 2003,LNCS 2657,第801-810页。斯普林格,柏林海德堡(2003)·Zbl 1033.68596
[4] 陈天聪;郑,KL,一种新的随机线检测算法,实时成像,7473-481,(2001)·Zbl 1010.68941
[5] 陈,TC;Chung,KL,一种有效的随机圆检测算法,比较。视觉图像理解,83172-191,(2001)·Zbl 0995.68099
[六] 周顺川、高晓松:几何中的自动推理。自动推理手册,第一卷,第712-734页。埃尔塞维尔,北荷兰(2001年)·Zbl 1122.68529
[7] 周,S-C;高,X-S;张,J-Z,自动几何定理证明和发现的演绎数据库方法,J.Autom。原因,25219-246,(1996年)·Zbl 0961.68121
[8] 周顺川,林,丁:吴的几何定理自动证明与发现方法。作者:高晓松,王,D.(编辑),《数学机械化与应用》,第125-146页。伦敦学术出版社(2000)
[9] 《初等几何中定理自动发现的协议》,J.Autom。理由,43203-236,(2009年)·688.ZB454
[10] Duda,R.O.,Hart,P.E.:使用Hough变换检测图片中的直线和曲线。通信ACM15(1) ,11-15(1972年)·Zbl 1296.94027
[11] LAF Fernandes;Oliveira,MM,通过改进的Hough变换投票方案进行实时线路检测,J.模式识别。第41299-314页,(2005年)·Zbl 1122.68529
[12] Galambos,C.,Kittler,J.,Matas,J.:基于梯度的渐进概率Hough变换。视觉图像信号处理。148(3) ,158-165(2001年)
[13] Ida,T.,Kasem,A.,Ghourabi,F.,Takahashi,H.:重新审视莫利定理:折纸构造和自动证明。J、 符号。计算机。46(5) ,571-583(2011年)·Zbl 1211.51011号
[14] Kortenkamp,U.:动态几何基础。ETH Zürich博士论文,第60-72页(1999年)
[15] Magaud,N.,Narboux,J.,Schreck,P.:Coq中射影平面几何的形式化。In:几何自动推导,LNAI 6301,第141-162页。柏林(2011年,海德堡)·Zbl 1302.68246
[16] Matas,J;Galambos,C;Kittler,J,使用渐进概率Hough变换进行直线的鲁棒检测,Comp。视觉图像理解,78119-137,(2000)
[17] Montes,A.,Recio,T.:使用最小正则综合Gröbner系统自动发现几何定理。In:几何自动推导,LNAI 4869,第113-138页。斯普林格,柏林海德堡(2007)·Zbl 1195.68093
[18] Quaresma,P.:几何定理证明者(TGTP)的数千个几何问题。In:几何自动推导,LNAI 6877,第169-181页。斯普林格,柏林海德堡(2011)·Zbl 1350.68243
[19] Quaresma,P;Janičić,P,Geothms-欧几里德构造几何的网络系统,电子。理论笔记。计算机。科学,174,35-48,(2007)·兹布1278.68279
[20] 王德明,几何力学定理证明的消元法,人工神经网络。数学。人工制品。国际,13,1-24,(1995年)·Zbl 0855.68090
[21] 王博士:几何机器:从人工智能到SMC。In:Calmet,J.,Campbell,J.A.,Pfalzgraf,J.(编辑),《人工智能与符号数学计算》。LNCS 1138,第213-239页。斯普林格,柏林海德堡(1996)
[22] 王博士:消除方法。斯普林格,威恩纽约(2001)·Zbl 0964.13014
[23] Wilson,S.,Fleuriot,J.D.:结合动态几何、自动几何定理证明和图解证明。在:欧洲软件理论与实践联合会议论文集,定理证明程序用户界面卫星研讨会,英国爱丁堡(2005)
[24] 吴文泰:《几何中的力学定理证明:基本原理》(金学良译)。斯普林格,威恩纽约(1994)
[25] 王雅诺:《著名几何定理》(中文版,陈奕迅译)。上海科技出版社(1986)
[26] 叶志明,周顺川,高学森:平面几何证明的视觉动态呈现。J、 自动驾驶。原因。45(3) ,213-241(2010年)·Zbl 1211.68372
[27] 袁,香港;普林森,J;伊利沃斯,J;基特勒,J。霍夫变换求圆方法的比较研究,图像视觉计算机,8,71-77,(1990)
[28] Zhang,T.Y.,Suen,C.Y.:数字图案细化的快速并行算法。通信ACM27(3) ,236-239(1984年)·兹布1278.68279
[29] Epsilon,http://www polsys.lip6.fr/wang/Epsilon/。访问日期:2014年5月23日
[30] 高斯平滑,http://en.wikipedia.org/wiki/Gaussian_blur。访问日期:2014年5月23日·Zbl 0855.68090
[31] GeoGebra,http://www.GeoGebra.org/cms/。访问日期:2014年5月23日
[32] GEOTHER,http://www polsys.lip6.fr/wang/GEOTHER/。访问日期:2014年5月23日
[33] 交互式几何软件列表,http://en.wikipedia.org/wiki/List_交互式几何软件列表。访问日期:2014年5月23日·Zbl 0855.68090
[34] OpenCV,http://OpenCV.org/。访问日期:2014年5月23日·Zbl 1122.68529
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。