Autori: Boutry Pierre
Naslov | Formalization of the Poincare Disc Model of Hyperbolic Geometry (Article) |
Autori | Simic Danijela Maric Filip M Boutry Pierre |
Info | JOURNAL OF AUTOMATED REASONING, (2021), vol. 65 br. 1, str. 31-73 |
Projekat | Serbian Ministry of Education and Science [174021] |
Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |