Philip H. Todd

According to our database, Philip H. Todd authored at least 12 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of seven.
• Erdős number of six.

2023

A program to create new geometry proof problems.

Philip H. Todd, Danny Aley

Ann. Math. Artif. Intell., December, 2023

Automated discovery of angle theorems.

Philip H. Todd

Ann. Math. Artif. Intell., December, 2023

Using GXWeb for Theorem Proving and Mathematical Modelling.

Philip H. Todd, Danny Aley

Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023

Theorem Discovery Amongst Cyclic Polygons.

Philip H. Todd

Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023

2021

A Method for the Automated Discovery of Angle Theorems.

Philip H. Todd

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

2020

A System for Automated Deduction in Engineering Mechanics.

Philip H. Todd

Math. Comput. Sci., 2020

A Symbolic Dynamic Geometry System Using the Analytical Geometry Method.

Philip H. Todd

Math. Comput. Sci., 2020

2010

Symbolic Geometry Software and Proofs.

Philip H. Todd, Irina Lyublinskaya, Valeriy Ryzhik

Int. J. Comput. Math. Learn., 2010

2006

Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System.

Philip H. Todd

Proceedings of the Automated Deduction in Geometry, 2006

1994

A System for the Symbolic Analysis of Problems in Engineering Mechanics.

Philip H. Todd, Robin J. Y. McLeod, Marcia Harris

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

1989

A k-Tree Generalization that Characterizes Consistency of Dimensioned Engineering Drawings.

Philip H. Todd

SIAM J. Discret. Math., 1989

1988

Symbolic Analysis of Planar Drawings.

Philip H. Todd, George W. Cherry

Proceedings of the Symbolic and Algebraic Computation, 1988