Using GXWeb for Theorem Proving and Mathematical Modelling

Q4 Computer Science

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

Philip Todd, Danny Aley

引用次数: 0

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.

查看原文本刊更多论文

使用 GXWeb 进行定理证明和数学建模

GXWeb 是符号几何软件《几何表达式》的免费浏览器版本。我们以定理证明、数学建模以及定位和包络为例，展示了它在教育环境中的应用。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

Electronic Proceedings in Theoretical Computer Science Computer Science-Software

CiteScore

1.10

自引率

0.00%

发文量

295

审稿时长

21 weeks