Autori: Janicic Predrag
| 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 | Formalization of geometry, automated and interactive geometric reasoning (Editorial Material; Early Access) |
| Autori | Kovacs Zoltan Janicic Predrag
|
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2023), vol. br. , str. - |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
|
| 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 | New dynamics in dynamic geometry: Dragging constructed points (Article) |
| Autori | Selakovic Milica Marinkovic Vesna Janicic Predrag
|
| Info | JOURNAL OF SYMBOLIC COMPUTATION, (2020), vol. 97 br. , str. 3-15 |
| Projekat | Ministry of Science, Serbia [174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: a Case Study of a Chess Conjecture (Article) |
| Autori | Janicic Predrag Maric Filip M Malikovic Marko
|
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2019), vol. 15 br. 1, str. - |
| Projekat | Ministry of Science of Serbia [174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Portfolio theorem proving and prover runtime prediction for geometry (Article; Proceedings Paper) |
| Autori | Nikolic Mladen Marinkovic Vesna Kovacs Zoltan Janicic Predrag
|
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2019), vol. 85 br. 2-4, str. 119-146 |
| Projekat | Ministry of Science of Serbia [174021] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Proceedings Paper) |
| Autori | Marinkovic Vesna Janicic Predrag Schreck Pascal
|
| Info | AUTOMATED DEDUCTION IN GEOMETRY, (2015), vol. 9201 br. , str. 72-93 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (Proceedings Paper) |
| Autori | Maric Filip M Janicic Predrag Malikovic Marko
|
| Info | AUTOMATED DEDUCTION - CADE-25, (2015), vol. 9195 br. , str. 256-271 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
