Philip H. Todd

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 4

Top Topics

Geometry Theorem Proving

Automated Discovery

Proof Procedure

Top Venues

Ann. Math. Artif. Intell.

Publications