弗拉基米尔·格特。；尤里·布林科夫。 反等级单项式排序产生的对合除法。 （英语） Zbl 1344.68299号 Gerdt，Vladimir P.（编辑）等人，科学计算中的计算机代数。2011年9月5日至9日在德国卡塞尔举行的2011年中国社会科学院第十三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23567-2/pbk）。计算机科学课堂讲稿6885158-174（2011）。 摘要：在本文中，我们考虑了一类对合单项式除法，它是通过将变量分为乘法和非乘法两部分而成对构造的。如果这种排序是可容许的或是可容许排序的逆，然后生成的对合除法具有所有算法上重要的属性，如连续性、构造性和无醚性。在所有这些划分中，我们挑选出那些由反分级单项式排序产生的划分。通过反分级词典排序的例子，我们证明了这个类的划分在启发式上比经典的Janet划分要好。最后一个除法是由纯词典排序成对生成的，到目前为止被认为是计算上最好的。有关整个系列，请参见[Zbl 1221.68017号]. 引用于6文件 MSC公司： 68瓦30 符号计算和代数计算 13页第10页 Gröbner基地；理想和模块的其他基础（例如Janet和border基础） 软件：Ginv公司 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Gerdt}和\textit{Y.A.Blinkov}，莱克特。票据计算。科学。6885、158--174（2011年；Zbl 1344.68299） 全文： 内政部