Rezultati

еНаука >  Резултати >  Један систем за аутоматско доказивање полиномских неједнакости
Назив: Један систем за аутоматско доказивање полиномских неједнакости
Аутори: М. Мићовић  ; Б. Малешевић  ; Б. Михаиловић  ; Т. Лутовац  
Година: 2025
Публикација: ПЕТНАЕСТИ СИМПОЗИЈУМ „MATEMATИKA И ПРИМЕНЕ”
Издавач: Универзитет у Београду, Математички факултет
Тип резултата: Конференцијски рад
URI: http://zaposleni.etf.bg.ac.rs/rest/sciNaucniRezultati/oai/record/3/710192
https://enauka.gov.rs/handle/123456789/1015623
М-категорија: 
Мп категорија ће бити приказана накнадно.

Pronađi DOI

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.