大卫·威尔逊。；Bradford，Russell J。；詹姆斯·H·达文波特。 用Gröbner基加速柱面代数分解。 （英语） Zbl 1360.68959号 Johan Jeuring等人，《智能计算机数学》。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。《人工智能讲义》，280-294（2012）。 总结：Gröbner Bases[B.布赫伯格《Aequationes数学》。4, 374–383 (1970;兹比尔0212.06401)]和柱面代数分解[G.E.柯林斯，莱克特。注释计算。科学。33, 134–183 (1975;Zbl 0318.02051号);C.陈等，摘自：2009年符号和代数计算国际研讨会论文集，ISSAC 2009，首尔，2009年7月28日至31日。纽约州纽约市：计算机协会（ACM）。95–102 (2009;Zbl 1237.14068号)]通常被认为是两种截然不同的方法，用于研究方程组，以及在柱代数分解的情况下，不等式。然而，即使对于等式和不等式的混合系统，也可以在调用CAD之前将Gröbner基应用于（连合）等式。我们看到，这通常是CAD问题的有益预处理，但并不总是如此。还可以预先处理与等式有关的（连合）不等式，这在许多情况下也很有用。关于整个系列，请参见[Zbl 1245.68013号]. 引用于6文件 MSC公司： 68瓦30 符号计算和代数计算 13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础） 引文：Zbl 0212.06401号；Zbl 0318.02051号；Zbl 1237.14068号 软件：轨道库；QEPCAD公司 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Wilson}等人，Lect。注释计算。科学。7362280-294（2012年；Zbl 1360.68959） 全文： 内政部 arXiv公司