Results
Title: | Sistem za automatsko dokazivanje nekih klasa analitičkih nejednakosti | Other Titles: | System for automatic proving of some classes of analytic inequalities | Authors: | Banjac, Bojan | Supervisor: | Malešević, Branko | Other contributors: | Lutovac, Tatjana ; Janičić, Predrag ; Protić, Jelica ; Obradović, Ratko | Issue Date: | 2019 | Publication: | Универзитет у Београду | Publisher: | Универзитет у Београду, Електротехнички факултет | Type: | Doctoral theses | VBS COBISS: | 51815695 | URI: | http://eteze.bg.ac.rs/application/showtheses?thesesId=7679 https://fedorabg.bg.ac.rs/fedora/get/o:22866/bdef:Content/download https://nardus.mpn.gov.rs/handle/123456789/17576 https://enauka.gov.rs/handle/123456789/381196 |
M-category: | 70M70 |