Karsten Homann Jacques Calmet Combining Theorem Proving and Symbolic Mathematical Computing. 18-29 1994 conf/aisc/1994 AISMC db/conf/aisc/aismc1994.html#HomannC94