Philip H. Todd

Available identifiers

zbMath Open todd.philip-hMaRDI QIDQ1061624

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Philip H. Todd