Резултати

eNauka >  Rezultati >  Formalization, Automatization and Visualization of Hyperbolic Geometry
Naziv: Formalization, Automatization and Visualization of Hyperbolic Geometry
Autori: Maric, Filip M  
Godina: 2023
Publikacija: Electronic Proceedings in Theoretical Computer Science; Proceedings 14th International Conference on Automated Deduction in Geometry (ADG 2023)
ISSN: 2075-2180 Pretraži identifikator
Tip rezultata: Konferencijski rad
Kolacija: vol. 398 str. 2-2
WoS-ID: 001167498600002
URI: https://enauka.gov.rs/handle/123456789/937257
Izvor metapodataka: (Preuzeto iz Nasi u WoS)
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Пронађи DOI


Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.