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

Podatkovne strukture in algoritmi v diskretni in zvezni matematiki

Uredi
Raziskovalna dejavnost

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

Koda Veda Področje
P170  Naravoslovno-matematične vede  Računalništvo, numerična analiza, sistemi, kontrola 
Ključne besede
algoritmi in podatkovne strukture, teorija realizabilnosti, numerične metode, diskretna matematika, izračunljiva analiza in topologija, risanje grafov, simbolno računanje, hipergeometrične vrste, razčlembe omrežij
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 (9)
št. Evidenčna št. Ime in priimek Razisk. področje Vloga Obdobje Štev. publikacij
1.  01467  dr. Vladimir Batagelj  Matematika  Vodja  2004 - 2007  977 
2.  15854  dr. Andrej Bauer  Matematika  Raziskovalec  2004 - 2007  199 
3.  02017  dr. Matevž Bren  Matematika  Raziskovalec  2004 - 2007  291 
4.  04967  dr. Andrej Brodnik  Računalniško intenzivne metode in aplikacije  Raziskovalec  2004 - 2007  449 
5.  18389  dr. Urban Kordeš  Interdisciplinarne raziskave  Raziskovalec  2005 - 2007  300 
6.  01935  dr. Marko Petkovšek  Matematika  Raziskovalec  2004 - 2007  366 
7.  01941  dr. Tomaž Pisanski  Matematika  Raziskovalec  2004 - 2007  866 
8.  15136  dr. Bor Plestenjak  Matematika  Raziskovalec  2004 - 2007  163 
9.  15137  dr. Matjaž Zaveršnik  Matematika  Raziskovalec  2004 - 2007  101 
Organizacije (2)
št. Evidenčna št. Razisk. organizacija Kraj Matična številka Štev. publikacij
1.  0101  Inštitut za matematiko, fiziko in mehaniko  Ljubljana  5055598000  20.223 
2.  0588  Univerza v Ljubljani, Pedagoška fakulteta  Ljubljana  1627082  30.484 
Povzetek
V projektu se bomo posvetili razvoju algoritmov in podatkovnih struktur za računalniško intenzivne postopke v naravoslovnih, družboslovnih in tehničnih vedah. Prvi del projekta obsega razvoj matematične teorije, zasnovane na teoriji realizabilnosti in konstruktivni matematiki, s katero lahko sistematično prevedemo matematične objekte iz diskretne in zvezne matematike v ustrezne podatkovne strukture in algoritme, primerne za predstavitev matematičnih objektov v računalniku. Drugi del projekta obsega študij konkretnih podatkovnih struktur in algoritmov, s katerimi bomo preverili in potrdili uporabnost teorije razvite v prvem delu projekta. Obravnavali bomo primere tako iz diskretne matematike (teorija grafov, razčlembe omrežij, algoritmi za risanje grafov, simbolno reševanje enačb s hipergeometričnimi vrstami) kot tudi iz zvezne matematike (numerični postopki in numerična analiza, podatkovne strukture za izračunljivo analizo in topologiji). Pomemben cilj projekta je tudi programska knjižnica podatkovnih tipov in metod za delo z diskretnimi in zveznimi matematičnimi objekti, saj bomo z njo teoretično znanje prenesli tudi v programersko prakso.
Zahtevana je potrditev
Zgodovina ogledov
Priljubljeno