Browsing by Subject automated deduction in geometry
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 4-Mar-2017 | ArgoTriCS–automated triangle construction solver | Marinković, Vesna | M22 |
| 17-Aug-2012 | Towards understanding triangle construction problems | Marinković, Vesna ; Janičić, Predrag | M33 |