Danijela Simic

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 4

Top Topics

Graduate Students

Comprehensive Reference

Engineering And Computer Science

State University

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications

Danijela Simic, Filip Maric, Pierre Boutry
Formalization of the Poincaré Disc Model of Hyperbolic Geometry. J. Autom. Reason. 65 (1) (2021)
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
Chapter One - Teaching graduate students how to review research articles and respond to reviewer comments. Adv. Comput. 116 (2020)
Danijela Simic, Filip Maric, Pierre Boutry
Poincaré Disc Model. Arch. Formal Proofs 2019 (2019)
Filip Maric, Danijela Simic
Complex Geometry. Arch. Formal Proofs 2019 (2019)