еНаука - преглед
Преглед према Аутор Julien Narboux
Приказ резултата 1 до 2 од 2
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2021 | Automated Generation of Illustrations for Synthetic Geometry Proofs | Janičić, Predrag   ; Julien Narboux | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2018 | Computer-Assisted Theorem Proving in Synthetic Geometry | Julien Narboux; Janičić, Predrag Đ. ; Jacques Fleuriot | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |