Filip Marić

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On automating triangle constructions in absolute and hyperbolic geometry	2024-12-17	Paper
Automated triangle constructions in hyperbolic geometry Annals of Mathematics and Artificial Intelligence	2024-01-08	Paper
A survey of interactive theorem proving	2023-07-21	Paper
A proof system for graph (non)-isomorphism verification Logical Methods in Computer Science	2023-03-22	Paper
Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation Automated Reasoning	2022-11-09	Paper
Faradžev Read-type enumeration of non-isomorphic CC systems Computational Geometry	2021-09-17	Paper
Formalization of the Poincaré disc model of hyperbolic geometry Journal of Automated Reasoning	2021-06-09	Paper
scientific article; zbMATH DE number 7056222 (Why is no real title available?) (available as arXiv preprint)	2019-05-17	Paper
Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points Journal of Automated Reasoning	2019-03-20	Paper
Proving correctness of a KRK chess endgame strategy by using Isabelle/HOL and Z3 Automated Deduction - CADE-25	2015-12-02	Paper
Formalizing complex plane geometry Annals of Mathematics and Artificial Intelligence	2015-07-27	Paper
meSAT: multiple encodings of CSP to SAT Constraints	2015-04-29	Paper
Formalization of Incremental Simplex Algorithm by Stepwise Refinement FM 2012: Formal Methods	2012-11-08	Paper
Formalizing Frankl's conjecture: FC-families Lecture Notes in Computer Science	2012-09-07	Paper
Formalization of Abstract State Transition Systems for SAT Logical Methods in Computer Science	2012-04-02	Paper
Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL Theoretical Computer Science	2010-11-19	Paper
URBiVA: uniform reduction to bit-vector arithmetic Automated Reasoning	2010-09-14	Paper
scientific article; zbMATH DE number 5713654 (Why is no real title available?)	2010-05-28	Paper
Using simplex method in verifying software safety Yugoslav Journal of Operations Research	2010-01-12	Paper
Formalization and implementation of modern SAT solvers Journal of Automated Reasoning	2009-09-01	Paper
Automated Reasoning Lecture Notes in Computer Science	2007-09-25	Paper

Research outcomes over time

This page was built for person: Filip Marić