Johannes Ueberberg Interactive Theorem Proving and Computer Algebra. 1-9 1994 conf/aisc/1994 AISMC db/conf/aisc/aismc1994.html#Ueberberg94