Results

eNauka >  Rezultati >  Један систем за аутоматско доказивање полиномских неједнакости
Naziv: Један систем за аутоматско доказивање полиномских неједнакости
Autori: М. Мићовић  ; Б. Малешевић  ; Б. Михаиловић  ; Т. Лутовац  
Godina: 2025
Publikacija: ПЕТНАЕСТИ СИМПОЗИЈУМ „MATEMATИKA И ПРИМЕНЕ”
Izdavač: Универзитет у Београду, Математички факултет
Tip rezultata: Conference Paper
URI: http://zaposleni.etf.bg.ac.rs/rest/sciNaucniRezultati/oai/record/3/710192
https://enauka.gov.rs/handle/123456789/1015623
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

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