![](/img/cover-not-exists.png)
[IEEE 2019 27th Telecommunications Forum (TELFOR) - Belgrade, Serbia (2019.11.26-2019.11.27)] 2019 27th Telecommunications Forum (TELFOR) - Automated Proving Mixed Trigonometric Polynomial Inequalities
Malesevic, Branko, Banjac, BojanYear:
2019
Language:
english
DOI:
10.1109/telfor48224.2019.8971254
File:
PDF, 4.60 MB
english, 2019