Login / Signup
Philip Todd
ORCID
Publication Activity (10 Years)
Years Active: 1989-2022
Publications (10 Years): 3
Top Topics
Automated Deduction
Automated Discovery
Preprocessing
High Precision
Top Venues
Math. Comput. Sci.
CoRR
</>
Publications
</>
Philip Todd
A Method for the Automated Discovery of Angle Theorems.
CoRR
(2022)
Philip Todd
A System for Automated Deduction in Engineering Mechanics.
Math. Comput. Sci.
14 (4) (2020)
Philip Todd
A Symbolic Dynamic Geometry System Using the Analytical Geometry Method.
Math. Comput. Sci.
14 (4) (2020)
Philip Todd
,
Irina Lyublinskaya
,
Valeriy Ryzhik
Symbolic Geometry Software and Proofs.
Int. J. Comput. Math. Learn.
15 (2) (2010)
Philip Todd
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System.
Automated Deduction in Geometry
(2006)
Philip Todd
A k-Tree Generalization that Characterizes Consistency of Dimensioned Engineering Drawings.
SIAM J. Discret. Math.
2 (2) (1989)