弗赖施塔特市医疗中心摇摆骆驼的 Locus 故事

Q4 Computer Science

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

Anna Kaferbock, Zolt'an Kov'acs

{"title":"弗赖施塔特市医疗中心摇摆骆驼的 Locus 故事","authors":"Anna Kaferbock, Zolt'an Kov'acs","doi":"10.4204/EPTCS.398.16","DOIUrl":null,"url":null,"abstract":"We give an example of automated geometry reasoning for an imaginary classroom project by using the free software package GeoGebra Discovery. The project is motivated by a publicly available toy, a rocking camel, installed at a medical center in Upper Austria. We explain how the process of a false conjecture, experimenting, modeling, a precise mathematical setup, and then a proof by automated reasoning could help extend mathematical knowledge at secondary school level and above.","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"74 8","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt\",\"authors\":\"Anna Kaferbock, Zolt'an Kov'acs\",\"doi\":\"10.4204/EPTCS.398.16\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We give an example of automated geometry reasoning for an imaginary classroom project by using the free software package GeoGebra Discovery. The project is motivated by a publicly available toy, a rocking camel, installed at a medical center in Upper Austria. We explain how the process of a false conjecture, experimenting, modeling, a precise mathematical setup, and then a proof by automated reasoning could help extend mathematical knowledge at secondary school level and above.\",\"PeriodicalId\":30085,\"journal\":{\"name\":\"Electronic Proceedings in Theoretical Computer Science\",\"volume\":\"74 8\",\"pages\":\"\"},\"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.16\",\"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.16","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 软件包，举例说明了一个假想课堂项目的自动几何推理。该项目源于上奥地利州一家医疗中心的公开玩具--摇摆骆驼。我们解释了错误猜想、实验、建模、精确数学设置，然后通过自动推理进行证明的过程如何有助于扩展中学及以上阶段的数学知识。

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

查看原文本刊更多论文

The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt

We give an example of automated geometry reasoning for an imaginary classroom project by using the free software package GeoGebra Discovery. The project is motivated by a publicly available toy, a rocking camel, installed at a medical center in Upper Austria. We explain how the process of a false conjecture, experimenting, modeling, a precise mathematical setup, and then a proof by automated reasoning could help extend mathematical knowledge at secondary school level and above.

求助全文

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

来源期刊