most citedA Method for the Automated Discovery of Angle Theorems

2 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

Showing math.HOShow all

1 paper · 1 filter

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,…