Danijela Simic

According to our database, Danijela Simic authored at least 4 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Formalization of the Poincaré Disc Model of Hyperbolic Geometry.

Danijela Simic, Filip Maric, Pierre Boutry

J. Autom. Reason., 2021

2020

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, Veljko Milutinovic, Nenad S. Mitic, Stefan Miskovic, Mladen Nikolic, Gordana Pavlovic-Lazetic, Danijela Simic, Miodrag V. Zivkovic

Adv. Comput., 2020

2019

Poincaré Disc Model.

Danijela Simic, Filip Maric, Pierre Boutry

Arch. Formal Proofs, 2019

Complex Geometry.

Filip Maric, Danijela Simic

Arch. Formal Proofs, 2019