| |
| 2006 | ||
|---|---|---|
| 2 | EE | Philip Todd: Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System. Automated Deduction in Geometry 2006: 189-202 |
| 1989 | ||
| 1 | Philip Todd: A k-Tree Generalization that Characterizes Consistency of Dimensioned Engineering Drawings. SIAM J. Discrete Math. 2(2): 255-261 (1989) | |