Filtri
cris logo
-
Novo iskanje Filtri
Izberi iz seznama
Prikazano od Prikaži več
Dosegli ste najvišje možno število prikazanih rezultatov iskanja.
Prikazani so vsi rezultati
Za izvedeno iskanje ni na voljo rezultatov
Prikazano od
Dosegli ste najvišje možno število prikazanih rezultatov iskanja.
Prikazani so vsi rezultati
Nalaganje rezultatov
Pridobivanje statističnih podatkov

Projekti / Programi vir: ARIS

Izbrane teme iz teoretičnega računalništva III

Uredi
Raziskovalna dejavnost

Koda Veda Področje Podpodročje
1.07.00  Naravoslovje  Računalniško intenzivne metode in aplikacije   

Koda Veda Področje
P110  Naravoslovno-matematične vede  Matematična logika, teorija množic, kombinatorika 
P170  Naravoslovno-matematične vede  Računalništvo, numerična analiza, sistemi, kontrola 
Ključne besede
simbolno računanje, grafi, kombinatorika, programska orodja, kombinatorična optimizacija, uporaba v kemiji
Vrednotenje (pravilnik)
vir: COBISS
Vrednotenje bibliografskih kazalcev raziskovalne uspešnosti po metodologiji ARIS
Citiranost Citiranost bibliografskih zapisov v COBIB.SI, ki so povezani z zapisi citatnih baz
vir: WoS vir: Scopus vir: COBISS
Raziskovalci (8)
št. Evidenčna št. Ime in priimek Razisk. področje Vloga Obdobje Štev. publikacij
1.  12066  dr. Janez Aleš  Matematika  Raziskovalec  1997 - 2000  17 
2.  06895  dr. Izidor Hafner  Računalniško intenzivne metode in aplikacije  Raziskovalec  2000  459 
3.  08724  dr. Aleksandar Jurišić  Matematika  Raziskovalec  2000  210 
4.  11392  mag. Matjaž Kaufman  Matematika  Raziskovalec  2000  19 
5.  01935  dr. Marko Petkovšek  Matematika  Vodja  1999 - 2000  366 
6.  01941  dr. Tomaž Pisanski  Matematika  Raziskovalec  2000  866 
7.  00213  dr. Egon Zakrajšek  Matematika  Raziskovalec  2000  207 
8.  03430  dr. Janez Žerovnik  Matematika  Raziskovalec  1998 - 2000  805 
Organizacije (1)
št. Evidenčna št. Razisk. organizacija Kraj Matična številka Štev. publikacij
1.  0101  Inštitut za matematiko, fiziko in mehaniko  Ljubljana  5055598000  20.230 
Povzetek
Med glavnimi področji raziskovanja so: simbolno računanje, kombinatorična optimizacija, teorija grafov in kombinatorika (vključno z uporabo v kemiji), programska orodja, razvoj velikih sistemov. Na področju simbolnega računanja raziskujemo algoritme za iskanje točnih rešitev diferenčnih, diferencialnih in drugih funkcionalnih enačb, kakor tudi algoritme za simbolno seštevanje in avtomatsko dokazovanje identitet. Pri implementaciji algoritmov uporabljamo sodobne sisteme za simbolno računanje in objektno orientirane jezike, neodvisne od konkretnega računalnika, ki omogočajo poradeljen razvoj programske opreme, kot sta Java in JavaScript. Naš sistem ''''Vega'''' je dolgoročen projekt, ki trenutno vključuje več kot 2500 ponovno uporabljivih funkcij, in služi za preskušanje novih pristopov v algoritmični diskretni matematiki. Med drugim predstavlja orodje za interaktivno izboljševanje vizualizacije podatkov, kot so npr. grafi, omrežja, poliedri, markovske verige, konfiguracije itd., z odkrivanjem simetrij in notranje strukture velikih objektov.
Zahtevana je potrditev
Zgodovina ogledov
Priljubljeno