Complex Geometry. - Filip Maric; Danijela Simic (Arch. Formal Proofs, 2019)

Poincaré Disc Model. - Danijela Simic; Filip Maric; Pierre Boutry (Arch. Formal Proofs, 2019)

Chapter One - Teaching graduate students how to review research articles and respond to reviewer comments. - Milan Bankovic; Vladimir Filipovic; Jelena Graovac; Jelena Hadzi-Puric; Ali R. Hurson; Aleksandar Kartelj; Jovana J. Kovacevic; Nenad Korolija; Milos Kotlar; Nenad B. Krdzavac; Filip Maric; Sasa N. Malkov; et al. (Adv. Comput., 2020)

Formalization of the Poincaré Disc Model of Hyperbolic Geometry. - Danijela Simic; Filip Maric; Pierre Boutry (J. Autom. Reason., 2021)