伯恩哈德·沃尔 CASA：用代数集进行计算的计算机代数软件。 （英语） Zbl 0939.68972号 Pfalzgraf，Jochen（编辑）等人，自动化实用推理。代数方法。引言由吉姆·坎宁安撰写。维也纳：施普林格出版社。符号计算中的文本和专著。125-146 (1995). 有关整个系列，请参见[Zbl 0816.00013号]. MSC公司： 68瓦30 符号计算和代数计算 68甲15 编程语言理论 68-04 计算机科学相关问题的软件、源代码等 14-04 代数几何相关问题的软件、源代码等 软件：家；甘尼思 PDF格式BibTeX公司 XML格式引用 \textit{B.Wall}，in：自动实践推理。代数方法。引言由吉姆·坎宁安撰写。维也纳：施普林格出版社。125——146（1995年；Zbl 0939.68972）