Showing results 1 to 20 of 57
next >
| Issue Date | Title | Author(s) | Rank |
| 1-Jan-2012 | The area method: A recapitulation | Janičić, Predrag ; Narboux, Julien; Quaresma, Pedro | M21 |
| 1-Jan-2004 | ARGO-LIB: A generic platform for decision procedures | Marić, Filip ; Janičić, Predrag | M33 |
| 22-Jan-2024 | Automated Completion of Statements and Proofs in Synthetic Geometry: An Approach based on Constraint Solving | Gonzalez, Salwa Tabet; Janičić, Predrag ; Narboux, Julien | M33 |
| 1-Dec-2023 | Automated generation of illustrated proofs in geometry and beyond | Janičić, Predrag ; Narboux, Julien | M22 |
| 30-Dec-2021 | Automated Generation of Illustrations for Synthetic Geometry Proofs | Janičić, Predrag ; Narboux, Julien | M33 |
| 1-Aug-2015 | Automated generation of machine verifiable and readable proofs: A case study of Тarski’s geometry | Stojanović-Đurđević. Sana ; Narboux, Julien; Janičić, Predrag | М22 |
| 2011 | Automated Reasoning: Some Successes and New Challenges | Janičić, Predrag | M31 |
| 15-Jun-2015 | Automated Theorem Proving in GeoGebra: Current Achievements | Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag ; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon | M21 |
| 1-Jan-2007 | Automatic synthesis of decision procedures: A case study of ground and linear arithmetic | Janičić, Predrag ; Bundy, Alan | M33 |
| 1-Jan-2007 | Automatic verification of regular constructions in dynamic geometry systems | Janičić, Predrag ; Quaresma, Pedro | M33 |
| 17-Aug-2012 | CDCL-based abstract state transition system for coherent logic | Nikolić, Mladen ; Janičić, Predrag | M33 |
| 25-Nov-2011 | A coherent logic based geometry theorem prover capable of producing formal and readable proofs | Stojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag | M33 |
| 1-Jan-2015 | Computer theorem proving for verifiable solving of geometric construction problems | Marinković, Vesna; Janičić, Predrag ; Schreck, Pascal | M33 |
| 1-Jan-2019 | Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture | Janičić, Predrag ; Marić, Filip ; Maliković, Marko | М22 |
| - | Computer-Assisted Theorem Proving in Synthetic Geometry | Narboux, Julien; Janičić, Predrag ; Fleuriot, Jacques | M14 |
| 1-Mar-2016 | Constructibility Classes for Triangle Location Problems | Schreck, Pascal; Marinković, Vesna ; Janičić, Predrag | |
| 1-Jan-2004 | Constructions, instructions, interactions | Đorić, Mirjana ; Janičić, Predrag | |
| 1-Jan-2010 | Formal correctness proof for dPLL procedure | Marić, Filip ; Janičić, Predrag | M21a |
| 2012 | Formalization and Implementation of Algebraic Methods in Geometry | Marić, Filip ; Petrović, Ivan; Petrović, Danijela; Janičić, Predrag | M33 |
| 8-Nov-2011 | Formalization of abstract state transition systems for SAT | Marić, Filip ; Janičić, Predrag | M22 |
