Eötvös Loránd Tudományegyetem, Informatikai Kar (ELTE-IK)
Komputeralgebra Tanszék