{"title":"使用 GXWeb 进行定理证明和数学建模","authors":"Philip Todd, Danny Aley","doi":"10.4204/EPTCS.398.7","DOIUrl":null,"url":null,"abstract":"GXWeb is the free browser based version of the symbolic geometry software Geometry Expressions. We demonstrate its use in an educational setting with examples from theorem proving, mathematical modelling and loci and envelopes.","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":"80 12","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Using GXWeb for Theorem Proving and Mathematical Modelling\",\"authors\":\"Philip Todd, Danny Aley\",\"doi\":\"10.4204/EPTCS.398.7\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"GXWeb is the free browser based version of the symbolic geometry software Geometry Expressions. We demonstrate its use in an educational setting with examples from theorem proving, mathematical modelling and loci and envelopes.\",\"PeriodicalId\":30085,\"journal\":{\"name\":\"Electronic Proceedings in Theoretical Computer Science\",\"volume\":\"80 12\",\"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.7\",\"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.7","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Computer Science","Score":null,"Total":0}
Using GXWeb for Theorem Proving and Mathematical Modelling
GXWeb is the free browser based version of the symbolic geometry software Geometry Expressions. We demonstrate its use in an educational setting with examples from theorem proving, mathematical modelling and loci and envelopes.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
