利用 GeoGebra 发现中的自动演绎功能解决 Náboj 2023 竞赛中的一些几何问题

Q4 Computer Science

Electronic Proceedings in Theoretical Computer Science Pub Date : 2024-01-20 DOI:10.4204/EPTCS.398.14

Amela Hota, Zoltán Kovács, Alexander Vujic

{"title":"利用 GeoGebra 发现中的自动演绎功能解决 Náboj 2023 竞赛中的一些几何问题","authors":"Amela Hota, Zoltán Kovács, Alexander Vujic","doi":"10.4204/EPTCS.398.14","DOIUrl":null,"url":null,"abstract":"In this article, we solve some of the geometry problems of the N\\'aboj 2023 competition with the help of a computer, using examples that the software tool GeoGebra Discovery can calculate. In each case, the calculation requires symbolic computations. We analyze the difficulty of feeding the problem into the machine and set further goals to make the problems of this type of contests even more tractable in the future.","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2024-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery\",\"authors\":\"Amela Hota, Zoltán Kovács, Alexander Vujic\",\"doi\":\"10.4204/EPTCS.398.14\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this article, we solve some of the geometry problems of the N\\\\'aboj 2023 competition with the help of a computer, using examples that the software tool GeoGebra Discovery can calculate. In each case, the calculation requires symbolic computations. We analyze the difficulty of feeding the problem into the machine and set further goals to make the problems of this type of contests even more tractable in the future.\",\"PeriodicalId\":30085,\"journal\":{\"name\":\"Electronic Proceedings in Theoretical Computer Science\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-01-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Electronic Proceedings in Theoretical Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.398.14\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"Computer Science\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Electronic Proceedings in Theoretical Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4204/EPTCS.398.14","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Computer Science","Score":null,"Total":0}

引用次数: 0

摘要

在本文中，我们使用 GeoGebra Discovery 软件工具可以计算的示例，在计算机的帮助下解决了 N\'aboj 2023 竞赛中的一些几何问题。在每种情况下，计算都需要符号计算。我们分析了将问题输入机器的难度，并设定了进一步的目标，以便在未来使这类竞赛的问题更加容易解决。

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

查看原文本刊更多论文

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery

In this article, we solve some of the geometry problems of the N\'aboj 2023 competition with the help of a computer, using examples that the software tool GeoGebra Discovery can calculate. In each case, the calculation requires symbolic computations. We analyze the difficulty of feeding the problem into the machine and set further goals to make the problems of this type of contests even more tractable in the future.

求助全文

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

来源期刊

Electronic Proceedings in Theoretical Computer Science Computer Science-Software

CiteScore

1.10

自引率

0.00%

发文量

295

审稿时长

21 weeks