摘要：通过引入一种方法，可以减少线性方程组（代数、常微分和偏微分方程）的项数。作为副产品，这些系统有倾向于部分解耦，并且更可能可因子化或可积。这种方法的变体适用于非线性系统。给出了提高效率的修改，并展示了例子。该程序可用于计算微分理想（微分Gröbner基）的根式。
作者：Thomas Wolf
论文ID：cs/0301029
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中