梁松欣；大卫·J·杰弗里。 向量积空间中基于规则的简化。 （英语） Zbl 1202.68493号 Kauers，Manuel（编辑）等人，《走向机械化数学助手》。2007年6月27日至30日，第14次研讨会，2007年Calculemus，第6次国际会议，2007年MKM，奥地利哈根堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73083-5/pbk）。计算机科学课堂讲稿4573。人工智能课堂讲稿，116-127（2007）。 矢量积空间是常见三维笛卡尔矢量空间的无分量表示。向量的组件是不可见的，并且在形式上是不可访问的，尽管可以构造组件的表达式。可以使用基于规则的系统简化从标量和向量乘积构建的表达式。为了开发和指定该系统，给出了向量积空间的公理系统。此外，还简要介绍了Aldor中的一个实现。目前的工作提供了简化功能，克服了早期软件包中遇到的困难。关于整个系列，请参见[Zbl 1119.68011号]. 引用于1文件 MSC公司： 68瓦30 符号计算和代数计算 26-04 与实际功能有关的问题的软件、源代码等 26号B12 向量函数微积分 53A45型 向量和张量分析中的微分几何 软件：羟醛 PDF格式BibTeX公司 XML格式引用 \textit｛S.Liang｝和\textit｛D.J.Jeffrey｝，Lect。票据计算。科学。4573、116--127（2007年；Zbl 1202.68493） 全文： 内政部