Filip Marić

Homepages 🌐

http://www.matf.bg.ac.rs/~filip

E-Mails 📧

sr.ca.gb.ftam@pilif

Entries

2025

Formalization of Gyrovector Spaces as Models of Hyperbolic Geometry and Special Relativity

by Filip Marić and Jelena Markovic

Mar 16

2019

Poincaré Disc Model

by Danijela Simić, Filip Marić and Pierre Boutry

Dec 16

Complex Geometry

by Filip Marić and Danijela Simić

Dec 16

2018

An Incremental Simplex Algorithm with Unsatisfiable Core Generation

by Filip Marić, Mirko Spasić and René Thiemann

Aug 24

2008

Formal Verification of Modern SAT Solvers

by Filip Marić

Jul 23