Digitalni repozitorijum
Univerziteta u Beogradu
{{ mc.sd.lang | uppercase }}
Sistem za automatsko dokazivanje nekih klasa analitičkih nejednakosti : doktorska disertacija
Banjac, Bojan, 1987-, 33371751
Malešević, Branko, 1965-, 12692839
Lutovac, Tatjana, 1966-, 33783911
Janičić, Predrag, 1968-, 12760935
Protić, Jelica, 1962-, 25654631
Obradović, Ratko, 1965-, 13235303
Elektrotehnika i racunarstvo - Primenjena matematika / Electrotechnics and Computer science - Applied mathematics Datum odbrane: 24.05.2019.
srpski
2019
Ovo delo je licencirano pod uslovima licence
Creative Commons CC BY-NC-ND 2.0 AT - Creative Commons Autorstvo - Nekomercijalno - Bez prerada 2.0 Austria License.
http://creativecommons.org/licenses/by-nc-nd/2.0/at/legalcode
OSNO - Opšta sistematizacija naučnih oblasti, Automatika i telemehanika
OSNO - Opšta sistematizacija naučnih oblasti, Matematička kibernetika. Automati
automatic proving; analytical inequalities;mixed trigonometric polynomial inequalities
OSNO - Opšta sistematizacija naučnih oblasti, Automatika i telemehanika
OSNO - Opšta sistematizacija naučnih oblasti, Matematička kibernetika. Automati
automatsko dokazivanje; analiticke nejednakosti;miksovano trigonometrijsko polinomske nejednakosti