Philip H. Todd

Available identifiers

zbMath Open todd.philip-hMaRDI QIDQ1061624

List of research outcomes

Publication	Date of Publication	Type
A method for the automated discovery of angle theorems	2024-12-17	Paper
Automated discovery of angle theorems	2024-01-08	Paper
A program to create new geometry proof problems	2024-01-08	Paper
A symbolic dynamic geometry system using the analytical geometry method	2021-02-25	Paper
A system for automated deduction in engineering mechanics	2021-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q5191034	2009-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q5191045	2009-07-28	Paper
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System	2008-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4234289	2000-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4315640	1995-02-19	Paper
A k-Tree Generalization that Characterizes Consistency of Dimensioned Engineering Drawings	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3730383	1986-01-01	Paper
Estimating surface growth rates from changes in curvature	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3329258	1984-01-01	Paper

Research outcomes over time

This page was built for person: Philip H. Todd