Results
![](https://cdn3.iconfinder.com/data/icons/flat-actions-icons-9/512/Tick_Mark-256.png)
Title: | Automated Proving Mixed Trigonometric Polynomial Inequalities | Authors: | Malešević, Branko J. ![]() ![]() ![]() ![]() |
Issue Date: | 2019 | Publication: | Proceedings of 27th TELFOR conference | Publisher: | Beograd, Srbija | Type: | Conference Paper | ISBN: | 978-172814789-5![]() ![]() |
Collation: | str. 608-609 | DOI: | 10.1109/TELFOR48224.2019.8971254 | WoS-ID: | 000568618700141 | Scopus-ID: | 2-s2.0-85079332167 | URI: | http://zaposleni.etf.bg.ac.rs/rest/sciNaucniRezultati/oai/record/3/708441 https://enauka.gov.rs/handle/123456789/315668 https://ieeexplore.ieee.org/abstract/document/8971254 |
URL: | https://ieeexplore.ieee.org/abstract/document/8971254 | Metadata source: | Migracija | Note: | Verifikacija rada izvršena na osnovu nepotpunog uvida u rad. | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.