Using GXWeb for Theorem Proving and Mathematical Modelling. - Philip H. Todd; Danny Aley (ADG, 2023)

A program to create new geometry proof problems. - Philip H. Todd; Danny Aley (Ann. Math. Artif. Intell., 2023)