Thesis supervisor: Péter Burcsi
Location of studies (in Hungarian): ELTE IK Komputeralgebra Tanszék Abbreviation of location of studies: ELTE
Description of the research topic:
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.
Required language skills: angol Number of students who can be accepted: 1