Danijela Simic

According to our database, Danijela Simic authored at least 5 papers between 2019 and 2025.

Collaborative distances:

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

2025

Towards automated proving in solid geometry.

Danijela Simic, Sana Stojanovic Durdevic, Ivana Tanasijevic

Ann. Math. Artif. Intell., December, 2025

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