摘要：一个可扩展的交互式图形术语操作系统的原型被介绍，它结合了模式匹配和非确定性评估，为进行繁琐的代数操作提供了方便的框架，这些操作迄今为止必须以半自动方式手动完成。
作者：Thomas Fischbacher
论文ID：cs/0406002
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中