Browsing eNauka
Browsing by Project Serbian Ministry of Science [174021]
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2023 | A Proof System for Graph (Non)-Isomorphism Verification![]() | Bankovic, Milan M | Article | 21M21 |
| 2023 | Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solvers | Bankovic, Milan M | Conference Paper | Mp. category will be shown later |
| 2025 | Automation of triangle straightedge-and-compass constructions using automated planning | Bankovic, Milan | Article | 22M22 |
