2 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
3 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…
cs.SC2022★ 2 cited
A Method for the Automated Discovery of Angle Theorems
Philip Todd
The Naive Angle Method, used by Geometry Expressions for solving problems which involve only angle constraints, represents a geometrical configuration as a sparse linear system. Li…