诺伯特·卡伊勒;尼尔·索弗 计算机代数中的一些人机交互问题。 (英语) Zbl 1097.68667号 SIGSAM牛市。 28,第1期,第18-28页(1994年). MSC公司: 68单位99 计算方法和应用 68瓦30 符号计算和代数计算 软件:数学软件;CAS/PI公司;AXIOM公司 PDF格式BibTeX公司 XML格式引用 \textit{N.Kajler}和\textit{N.Soiffer},SIGSAM公牛。28,第1号,18--28(1994;Zbl 1097.68667) 全文: DOI程序