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 | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
     |
