Results

eNauka >  Results >  Automated Proving Mixed Trigonometric Polynomial Inequalities
Title: Automated Proving Mixed Trigonometric Polynomial Inequalities
Authors: Malešević, Branko J.  ; Banjac,Bojan  
Issue Date: 2019
Publication: Proceedings of 27th TELFOR conference
Publisher: Beograd, Srbija
Type: Conference Paper
ISBN: 978-172814789-5 ИСБН није валидан Search Idenfier
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

3
SCOPUSTM
Altmetric
Dimensions

Find the DOI

Unpaywall

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.