Autori: Narboux Julien
| Naslov | Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving (Proceedings Paper) |
| Autori | Gonzalez Salwa Tabet Janicic Predrag  Narboux Julien
|
| Info | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (2024), vol. br. 398, str. - |
| Ispravka | Web of Science Članak Elečas |
     |
| Naslov | Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving (Proceedings Paper) |
| Autori | Gonzalez Salwa Tabet Janicic Predrag Narboux Julien
|
| Info | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (2023), vol. 398 br. , str. 21-37 |
| Projekat | European Cost project [CA20111]; Ministry of Science of Serbia [451-03-47/2023-01/200104] |
| Ispravka | Web of Science Članak Elečas |
|
|
| Naslov | Automated generation of illustrated proofs in geometry and beyond (Article) |
| Autori | Janicic Predrag Narboux Julien
|
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2023), vol. 91 br. 6, str. 797-820 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
|
| Naslov | Theorem Proving as Constraint Solving with Coherent Logic (Article) |
| Autori | Janicic Predrag Narboux Julien
|
| Info | JOURNAL OF AUTOMATED REASONING, (2022), vol. 66 br. 4, str. 689-746 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry (Article) |
| Autori | Stojanovic-Djurdjevic Sana Narboux Julien Janicic Predrag
|
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2015), vol. 74 br. 3-4, str. 249-269 |
| Projekat | Serbian-French Technology Co-Operation grant EGIDE/"Pavle Savic" [680-00-132/2012-09/12]; Ministry of Science of Serbia [ON174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | A Vernacular for Coherent Logic (Proceedings Paper) |
| Autori | Stojanovic Sana N Narboux Julien Bezem Marc Janicic Predrag
|
| Info | INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, (2014), vol. 8543 br. , str. 388-403 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | The Area Method A Recapitulation (Article) |
| Autori | Janicic Predrag Narboux Julien Quaresma Pedro
|
| Info | JOURNAL OF AUTOMATED REASONING, (2012), vol. 48 br. 4, str. 489-532 |
| Projekat | Ministry of Science of Serbia[144030]; ANR |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
