témavezető: Burcsi Péter
helyszín (magyar oldal): ELTE IK Komputeralgebra Tanszék helyszín rövidítés: ELTE
A kutatási téma leírása:
A jelölt feladata az lenne, hogy megismerje a szimbolikus számítások elvégzésére alkalmas ún. komputeralgebra rendszerek belső működését, csomagok, függvény könyvtárak írásának módját, és ez alapján olyan szimbolikus manipulációt lehetővé tevő algoritmusokat dolgozzon ki és implementáljon, melyek a komputeralgebra rendszerben még nem elérhetőek. Lehetséges kutatási irányok a témán belül: hatékony szimbolikus számolás algebrai számokkal, valószínűségi változók szimbolikus kezelése, nem rögzített számú változóban felírt egyenlőtlenségek szimbolikus kezelése, szimbolikus kitevővel felírt polinomok vagy szimbolikus mérettel adott mátrixok manipulációja stb.
A tervezett ill. várható tudományos eredmények: hatékony komputeralgebrai csomagok fejlesztése valamelyik nagyobb komputeralgebra rendszerhez, algoritmusok publikálása.
előírt nyelvtudás: angol felvehető hallgatók száma: 1
Bejelentkezés
