Showing results 1 to 20 of 54
next >
| Issue Date | Title | Author(s) | Rank |
| 1-Jan-2017 | 70 years of the mathematical society of Serbia | Andrić, Vojislav; Kadelburg, Zoran ; Marić, Filip ; Mladenović, Pavle | |
| 1-Jan-2004 | ARGO-LIB: A generic platform for decision procedures | Marić, Filip ; Janičić, Predrag | M33 |
| 1-Dec-2023 | Automated triangle constructions in hyperbolic geometry | Marinković, Vesna ; Šukilović, Tijana ; Marić, Filip | M22 |
| 1-Jan-2005 | Automatic construction of surface model | Marić, Miroslav ; Marić, Filip ; Mijajlović, Žarko; Jovanović, Boško | |
| 1-Jan-2003 | CCD microscopy - Image analysis by group for intelligent systems (GIS) | Jovanović, Aleksandar; Dordević, Zoran; Marić, Filip ; Marić, Miroslav ; Perišić, Dragoljub | |
| 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 |
| 2021 | Faradžev Read-type enumeration of non-isomorphic CC systems | Banković, Milan ; Marić, Filip | M23 |
| 15-Mar-2019 | Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points | Marić, Filip | |
| 1-Jan-2010 | Formal correctness proof for dPLL procedure | Marić, Filip ; Janičić, Predrag | M21 |
| 12-Nov-2010 | Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL | Marić, Filip | |
| 2012 | Formalization and Implementation of Algebraic Methods in Geometry | Marić, Filip ; Petrović, Ivan; Petrović, Danijela; Janičić, Predrag | M33 |
| 1-Jun-2009 | Formalization and implementation of modern SAT solvers | Marić, Filip | |
| 8-Nov-2011 | Formalization of abstract state transition systems for SAT | Marić, Filip ; Janičić, Predrag | M22 |
| 1-Jan-2025 | Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity | Marković, Jelena ; Marić, Filip | M22 |
| 13-Sep-2012 | Formalization of incremental simplex algorithm by stepwise refinement | Spasić, Mirko ; Marić, Filip | |
| 1-Jan-2021 | Formalization of the Poincaré Disc Model of Hyperbolic Geometry | Simić, Danijela ; Marić, Filip ; Boutry, Pierre | |
| 2024 | Formalization, Automatization and Visualization of Hyperbolic Geometry | Marić, Filip | M31 |
| 17-Aug-2012 | Formalizing Frankl's conjecture: FC-families | Marić, Filip ; Živković, Miodrag; Vučković, Bojan | |
| 30-Oct-2020 | Formalizing IMO problems and solutions in Isabelle/HOL | Marić, Filip ; Stojanović-Ðurdević, Sana | |
| 2018 | An Incremental Simplex Algorithm with Unsatisfiable Core Generation | Marić, Filip ; Spasić, Mirko ; Thiemann, René | |
