Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/1367| Title: | Formalization of geometry, automated and interactive geometric reasoning | Authors: | Kovács, Zoltán Janičić, Predrag |
Affiliations: | Informatics and Computer Science | Issue Date: | 1-Dec-2023 | Rank: | M22 | Publisher: | Springer | Journal: | Annals of Mathematics and Artificial Intelligence | Description: | : This version of the article has been accepted for publication, after peer review (when applicable) but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: https://dx.doi.org/10.1007/s10472-023-09909-3 |
URI: | https://research.matf.bg.ac.rs/handle/123456789/1367 | ISSN: | 10122443 | DOI: | 10.1007/s10472-023-09909-3 |
| Appears in Collections: | Research outputs |
Files in This Item:
| File | Description | Size | Format | Existing users please |
|---|---|---|---|---|
| s10472-023-09909-3.pdf | 146.53 kB | Adobe PDF | Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.