{"title":"自动推理工具在GeoGebra发现","authors":"Z. Kovács, T. Recio, M. Vélez","doi":"10.1145/3493492.3493495","DOIUrl":null,"url":null,"abstract":"We present some current achievements in the software package GeoGebra Discovery that provides several symbolic tools and commands to mechanically discover (and verify symbolically) relationships on planar geometry constructions. Our presentation includes the novel Discover tool and command, the Relation tool and command, and the Compare command. Our proposal successfully makes the cycle 'conjecturing-checking-proving' in elementary geometry even more accessible for general users, focusing not only on educational uses but research as well.","PeriodicalId":41965,"journal":{"name":"ACM Communications in Computer Algebra","volume":"55 1","pages":"39 - 43"},"PeriodicalIF":0.4000,"publicationDate":"2021-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Automated reasoning tools in GeoGebra discovery\",\"authors\":\"Z. Kovács, T. Recio, M. Vélez\",\"doi\":\"10.1145/3493492.3493495\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present some current achievements in the software package GeoGebra Discovery that provides several symbolic tools and commands to mechanically discover (and verify symbolically) relationships on planar geometry constructions. Our presentation includes the novel Discover tool and command, the Relation tool and command, and the Compare command. Our proposal successfully makes the cycle 'conjecturing-checking-proving' in elementary geometry even more accessible for general users, focusing not only on educational uses but research as well.\",\"PeriodicalId\":41965,\"journal\":{\"name\":\"ACM Communications in Computer Algebra\",\"volume\":\"55 1\",\"pages\":\"39 - 43\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2021-06-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM Communications in Computer Algebra\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3493492.3493495\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM Communications in Computer Algebra","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3493492.3493495","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
We present some current achievements in the software package GeoGebra Discovery that provides several symbolic tools and commands to mechanically discover (and verify symbolically) relationships on planar geometry constructions. Our presentation includes the novel Discover tool and command, the Relation tool and command, and the Compare command. Our proposal successfully makes the cycle 'conjecturing-checking-proving' in elementary geometry even more accessible for general users, focusing not only on educational uses but research as well.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
