Symbolic Analysis of Planar Drawings. - Philip H. Todd; George W. Cherry (ISSAC, 1988)

A k-Tree Generalization that Characterizes Consistency of Dimensioned Engineering Drawings. - Philip H. Todd (SIAM J. Discret. Math., 1989)

A System for the Symbolic Analysis of Problems in Engineering Mechanics. - Philip H. Todd; Robin J. Y. McLeod; Marcia Harris (ISSAC, 1994)

Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System. - Philip H. Todd (Automated Deduction in Geometry, 2006)

Symbolic Geometry Software and Proofs. - Philip H. Todd; Irina Lyublinskaya; Valeriy Ryzhik (Int. J. Comput. Math. Learn., 2010)

A Symbolic Dynamic Geometry System Using the Analytical Geometry Method. - Philip H. Todd (Math. Comput. Sci., 2020)

A System for Automated Deduction in Engineering Mechanics. - Philip H. Todd (Math. Comput. Sci., 2020)

A Method for the Automated Discovery of Angle Theorems. - Philip H. Todd (ADG, 2021)

Theorem Discovery Amongst Cyclic Polygons. - Philip H. Todd (ADG, 2023)

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

Automated discovery of angle theorems. - Philip H. Todd (Ann. Math. Artif. Intell., 2023)

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