Oktatás
Matematikus informatika és C++ matematikusoknak
Kalkulus
Pólya-Szegő versenyfeladat megoldó szeminárium
Valószínűségszámítás
Kutatás
Algebra, logika, algoritmusok, programozás = ALAP, matematikai infrastruktúra
Kiemelt publikációk
P.Prőhle: Does the Frobenius endomorphism always generate a direct summand in the endomorphism monoid of fields of characteristic prime? Bulletin of the Australian Mathematical Society 30 (1984), 335--356.
P.Prőhle: Does a given subfield of characteristic zero imply any restriction to the endomorphism monoids of fields? Acta Sci. Math. Szeged 50 (1986).
S.Linton, U.Martin, P.Prőhle, D.Shand: Algebra and Automated Deduction. Springer Lecture Notes in Artifical Intelligence 1104 (1996), 448-462.
Samuel M.H.W. Perlo-Freeman and P.Prőhle: Scott's conjecture is true, position sensitive weights. Springer Lecture Notes in Computer Science 1232 (1997), 217-227.
P.Prőhle: Which of the Cancellative Semigroups are Groups? Semigroup Forum Vol. 57 Num. 3 (1998), 438-439.
Előadások
MTA Matematikai Kutatóintézet:
1997 december 1-én: Matematikai Infrastruktúra.
1997 december 8-án: Deduktor Infrastruktúra.