Jacques Calmet Intelligent Computer Algebra System: Myth, Fancy or Reality? 2-11 1987 conf/ibm/1987 Trends in Computer Algebra db/conf/ibm/algebra1987.html#Calmet87 http://dx.doi.org/10.1007/3-540-18928-9_2