克莱门斯·巴拉林;卡斯滕·霍曼;雅克·卡梅特 定理和算法:Isabelle和Maple之间的接口。 (英语) Zbl 0922.68080号 Levet,A.H.M.(编辑),1995年符号和代数计算国际研讨会论文集,1995年7月10日至12日,加拿大蒙特利尔,ISSAC’95。纽约州纽约市:ACM出版社。150-157 (1995). 引用于18文件 MSC公司: 68瓦30 符号计算和代数计算 关键词:伊莎贝尔;计算机代数系统;枫树 软件:数学软件;枫树;伊莎贝尔;CAS/PI公司;水獭;OMRS公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Ballarin}等人,载于:1995年符号和代数计算国际研讨会论文集,ISSAC’95,加拿大蒙特利尔,1995年7月10日至12日。纽约州纽约市:ACM出版社。150-157(1995年;Zbl 0922.68080)