Philip H. Todd

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 4

Top Topics

Geometry Theorem Proving

Automated Discovery

Proof Procedure

Top Venues

Ann. Math. Artif. Intell.

Publications

Philip H. Todd
Theorem Discovery Amongst Cyclic Polygons. CoRR (2024)
Philip H. Todd, Danny Aley
A program to create new geometry proof problems. Ann. Math. Artif. Intell. 91 (6) (2023)
Philip H. Todd
Automated discovery of angle theorems. Ann. Math. Artif. Intell. 91 (6) (2023)
Philip H. Todd, Danny Aley
Using GXWeb for Theorem Proving and Mathematical Modelling. ADG (2023)
Philip H. Todd, Robin J. Y. McLeod, Marcia Harris
A System for the Symbolic Analysis of Problems in Engineering Mechanics. ISSAC (1994)
Philip H. Todd, George W. Cherry
Symbolic Analysis of Planar Drawings. ISSAC (1988)