Piotr Zgliczyński: KOMPUTEROWO WSPIERANE DOWODY DLA DYSYPATYWNYCH RÓWNAŃ RÓŻNICZKOWYCH CZĄSTKOWYCH