平面几何定理自动证明的数值方法

2013 5th International Conference on Intelligent Networking and Collaborative Systems Pub Date : 2013-09-09 DOI:10.1109/INCoS.2013.38

Siwen Guo

{"title":"平面几何定理自动证明的数值方法","authors":"Siwen Guo","doi":"10.1109/INCoS.2013.38","DOIUrl":null,"url":null,"abstract":"In this paper, we present a new numerical method which proves by computers a class of geometric inequalities in a real plane. The method use interval arithmetic and related techniques to constitute the computing procedures to verify the geometric inequalities. Some numerical examples of verification are illustrated and demonstrate the effectiveness of our method.","PeriodicalId":353706,"journal":{"name":"2013 5th International Conference on Intelligent Networking and Collaborative Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Numerical Approach for Automatic Theorem Proving in Plane Geometry\",\"authors\":\"Siwen Guo\",\"doi\":\"10.1109/INCoS.2013.38\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, we present a new numerical method which proves by computers a class of geometric inequalities in a real plane. The method use interval arithmetic and related techniques to constitute the computing procedures to verify the geometric inequalities. Some numerical examples of verification are illustrated and demonstrate the effectiveness of our method.\",\"PeriodicalId\":353706,\"journal\":{\"name\":\"2013 5th International Conference on Intelligent Networking and Collaborative Systems\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-09-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 5th International Conference on Intelligent Networking and Collaborative Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/INCoS.2013.38\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 5th International Conference on Intelligent Networking and Collaborative Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/INCoS.2013.38","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文给出了用计算机证明实平面上一类几何不等式的一种新的数值方法。该方法利用区间算法及相关技术，编制了验证几何不等式的计算程序。通过数值算例验证了该方法的有效性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Numerical Approach for Automatic Theorem Proving in Plane Geometry

In this paper, we present a new numerical method which proves by computers a class of geometric inequalities in a real plane. The method use interval arithmetic and related techniques to constitute the computing procedures to verify the geometric inequalities. Some numerical examples of verification are illustrated and demonstrate the effectiveness of our method.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2013 5th International Conference on Intelligent Networking and Collaborative Systems

自引率

0.00%

发文量