Predrag Janicic
Univerzitet u Beogradu
H-index: 21
Europe-Serbia
Top articles of Predrag Janicic
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving | arXiv preprint arXiv:2401.11898 | Salwa Tabet Gonzalez Predrag Janičić Julien Narboux | 2024/1/22 |
Formalization of geometry, automated and interactive geometric reasoning | Annals of Mathematics and Artificial Intelligence | Pascal Schreck Tetsuo Ida Laura Kovacs | 2019 |
Automated generation of illustrated proofs in geometry and beyond | Annals of Mathematics and Artificial Intelligence | Predrag Janičić Julien Narboux | 2023/12 |
Theorem proving as constraint solving with coherent logic | Journal of Automated Reasoning | Predrag Janičić Julien Narboux | 2022/11 |
Automated generation of illustrations for synthetic geometry proofs | arXiv preprint arXiv:2201.00540 | Predrag Janičić Julien Narboux | 2022/1/3 |
Proceedings of the 13th International Conference on Automated Deduction in Geometry | Florian Daniel Peter Dolog Qing Li | 2013/7/8 | |
GCLC 2020 (Geometry Constructions→ LATEX Converter) Manual | Predrag Janicic | 2020/11 | |
New dynamics in dynamic geometry: Dragging constructed points | Journal of Symbolic Computation | Milica Selaković Vesna Marinković Predrag Janičić | 2020/3/1 |