Results
| Title: | On Automating Triangle Constructions in Absolute and Hyperbolic Geometry | Authors: | Marinković, Vesna   ; Šukilović, Tijana ; Marić, Filip |
Issue Date: | 2021 | Publication: | Electronic Proceedings in Theoretical Computer Science ; Proceedings of the 13th Conference on Automated Deduction in Geometry (ADG 2021) | ISSN: | 2075-2180  Search Idenfier |
Publisher: | Open Publishing Association | Type: | Article | Collation: | vol. 352 str. 14-26 | DOI: | 10.4204/EPTCS.352.3 | WoS-ID: | 001050127400004 | Scopus-ID: | 2-s2.0-85122322769 | URI: | https://enauka.gov.rs/handle/123456789/875010 | Metadata source: | (Preuzeto iz CrossRef-a) Šukilović, Tijana | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.