Formalization of the Poincaré Disc Model of Hyperbolic Geometry
Crossref DOI link: https://doi.org/10.1007/s10817-020-09551-2
Published Online: 2020-04-30
Published Print: 2021-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Simić, Danijela http://orcid.org/0000-0002-3840-9931
Marić, Filip
Boutry, Pierre
Funding for this research was provided by:
Ministarstvo Prosvete, Nauke i Tehnološkog Razvoja (174021)
Text and Data Mining valid from 2020-04-30
Version of Record valid from 2020-04-30
Article History
Received: 6 June 2019
Accepted: 1 April 2020
First Online: 30 April 2020