Philip H. Todd

12 papers B 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
A program to create new geometry proof problems.
Ann. Math. Artif. Intell.
Philip H. Todd, Danny Aley
2023 J jnl
Automated discovery of angle theorems.
Ann. Math. Artif. Intell.
Philip H. Todd
2023 — conf
Theorem Discovery Amongst Cyclic Polygons.
ADG
Philip H. Todd
2023 — conf
Using GXWeb for Theorem Proving and Mathematical Modelling.
ADG
Philip H. Todd, Danny Aley
2021 — conf
A Method for the Automated Discovery of Angle Theorems.
ADG
Philip H. Todd
2020 J jnl
A Symbolic Dynamic Geometry System Using the Analytical Geometry Method.
Math. Comput. Sci.
Philip H. Todd
2020 J jnl
A System for Automated Deduction in Engineering Mechanics.
Math. Comput. Sci.
Philip H. Todd
2010 J jnl
Symbolic Geometry Software and Proofs.
Int. J. Comput. Math. Learn.
Philip H. Todd, Irina Lyublinskaya, Valeriy Ryzhik
2006 — conf
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System.
Automated Deduction in Geometry
Philip H. Todd
1994 B conf
A System for the Symbolic Analysis of Problems in Engineering Mechanics.
ISSAC
Philip H. Todd, Robin J. Y. McLeod, Marcia Harris
1989 J jnl
A k-Tree Generalization that Characterizes Consistency of Dimensioned Engineering Drawings.
SIAM J. Discret. Math.
Philip H. Todd
1988 B conf
Symbolic Analysis of Planar Drawings.
ISSAC
Philip H. Todd, George W. Cherry