Philip H. Todd

From MaRDI portal
(Redirected from Person:1995809)
Person:1061624

Available identifiers

zbMath Open todd.philip-hMaRDI QIDQ1061624

List of research outcomes





PublicationDate of PublicationType
A method for the automated discovery of angle theorems2024-12-17Paper
Automated discovery of angle theorems2024-01-08Paper
A program to create new geometry proof problems2024-01-08Paper
A symbolic dynamic geometry system using the analytical geometry method2021-02-25Paper
A system for automated deduction in engineering mechanics2021-02-25Paper
https://portal.mardi4nfdi.de/entity/Q51910342009-07-28Paper
https://portal.mardi4nfdi.de/entity/Q51910452009-07-28Paper
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System2008-04-01Paper
https://portal.mardi4nfdi.de/entity/Q42342892000-06-27Paper
https://portal.mardi4nfdi.de/entity/Q43156401995-02-19Paper
A k-Tree Generalization that Characterizes Consistency of Dimensioned Engineering Drawings1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37303831986-01-01Paper
Estimating surface growth rates from changes in curvature1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33292581984-01-01Paper

Research outcomes over time

This page was built for person: Philip H. Todd

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1061624&oldid=11064003"
Powered by MediaWiki