Browsing by Subject automated geometry theorem proving
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 15-May-2007 | GeoThms - a Web System for Euclidean Constructive Geometry | Quaresma, Pedro; Janičić, Predrag |