Autori: Novakovic Viktor
| Naslov | Readable automated proofs of ruler and compass constructions (Article; Early Access) |
| Autori | Marinkovic Vesna Sukilovic Tijana  Novakovic Viktor Maric Filip M
|
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2025), vol. br. , str. - |
| Projekat | Serbian Ministry of Education, Science and Technological Development [451-03-47/2023-01/ 200104]; Serbian Ministry of Education, Science and Technological Development through the University of Belgrade [7744592]; Science Fund of the Republic of Serbia |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
     |
