×

定理和算法:Isabelle和Maple之间的接口。 (英语) Zbl 0922.68080号

Levet,A.H.M.(编辑),1995年符号和代数计算国际研讨会论文集,1995年7月10日至12日,加拿大蒙特利尔,ISSAC’95。纽约州纽约市:ACM出版社。150-157 (1995).

MSC公司:

68瓦30 符号计算和代数计算
PDF格式BibTeX公司 XML格式引用