2 papers
math.HO2024
Using GXWeb for Theorem Proving and Mathematical Modelling
Philip Todd, Danny Aley
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,…
cs.CG2024
Theorem Discovery Amongst Cyclic Polygons
Philip Todd
We examine a class of geometric theorems on cyclic 2n-gons. We prove that if we take n disjoint pairs of sides, each pair separated by an even number of polygon sides, then there i…