Using GXWeb for Theorem Proving and Mathematical Modelling

Philip Todd
(Saltire Software)
Danny Aley
(Saltire Software)

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.

In Pedro Quaresma and Zoltán Kovács: Proceedings 14th International Conference on Automated Deduction in Geometry (ADG 2023), Belgrade, Serbia, 20-22th September 2023, Electronic Proceedings in Theoretical Computer Science 398, pp. 38–42.
Published: 22nd January 2024.

ArXived at: https://dx.doi.org/10.4204/EPTCS.398.7 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org