Philip H. Todd

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

Collaborative distances:

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

2024

Theorem Discovery Amongst Cyclic Polygons.

Philip H. Todd

CoRR, 2024

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

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