补充材料
可供下载
1 BACHMAIR，L.和BUCHBERGER，B.Gr6bner-bases特征定理的简化证明。 ACM SIGSAM公牛。 14/4, (1980), 29-34. 谷歌学者 
2 BUCHBERGER，B.Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomide。 1965年，奥地利因斯布鲁克大学博士论文。 谷歌学者 三 BUCHBERGER，B.Ein算法Kriterium ffir die Lfsbarkeit eines algebraischen Gleichungssystems。 艾克。 数学。 4 (1970), 374-383. 谷歌学者 4 BUCHBERGER，B.将多项式简化为标准形式的理论基础。 ACM SIGSAM公牛。 10/3 (1976), 19-29. 谷歌学者 5 BUCHBERGER，B.多项式理想的GrSbner-bases的一些性质。 ACM SIGSAM公牛。 10/4 (1976), 19-24. 谷歌学者 6 BUCHBERGER，B.检测GrSbner-bases构造中不必要减少的标准。 《EUROSAM 79会议录》，计算机科学讲义，第72卷。 施普林格·弗拉格，柏林，海德堡，纽约，1979年，第3-21页。 谷歌学者 7 BUCHaV公司。 多项式理想的R~ER，B.H-基和GrSbner-基。 技术报告CAMP 81-2.0，奥地利林茨林茨大学数学研究所（1981年）。 谷歌学者 8 BUCHBERGER，B.关于Grfbner-bases构造复杂性的注释。 《欧洲计算机代数会议论文集》（EUROCAL’83），《计算机科学讲义》，第162卷。 Springer-Verlag，柏林，海德堡，纽约，1983年，第137-145页。 谷歌学者 9 BUCHBERGER，B.Grfbner基础：多项式理想理论中的一种算法方法。 《多维系统理论的最新趋势》，N.K.Bose，Ed.Reidel，Hingham，Mass.，1985年。 谷歌学者 10 BUCHBERGER，B.和WINKLER，F.关于多项式理想Grfbnerbase构造的其他结果。 奥地利林茨林茨大学数学研究所技术代表137（1979年）。 谷歌学者 11 CARDOZA，E.，LXPTON，R.，AND MEYER，A.R.Petri网和交换半群的指数空间完备问题：初步报告。 第八届计算机理论学术研讨会论文集。 ACM，纽约，1976年，第50-54页。 谷歌学者 12 CAVINESS，B.F.和FATEMAN，R.J.部首表达式的简化。 《1976年ACM符号和代数计算研讨会论文集》（纽约约克敦高地，R.D.Jenks，编辑ACM，纽约，1976年，第329-338页）。 谷歌学者 13 COLLINS，G.E.SAC-1列表处理系统。 威斯康星大学计算机科学系技术代表129，麦迪逊，1971年。 谷歌学者 14 COLLINS，G.E.SAC-1整数运算系统。 技术代表156，计算机科学系，威斯康星大学麦迪逊分校，1971年。 谷歌学者 15 GEBAUER，R.和KREDEL，H.一种构造多项式理想的规范基（Groebner-bases）的算法。 德国海德堡海德堡大学应用数学研究所技术代表（1984年）。 谷歌学者 16 GROBNER，W.Moderne Algebraische Geometrie，《Springer-Verlag，Wien-Innsbruck》，1949年。 谷歌学者 17 KOLLREIDER，C.多项式约简：项的排序对约简算法的影响。 奥地利林茨林茨大学数学研究所技术代表124（1978年）。 谷歌学者 18 KOLLREIDER，C.和BUCHBERGER，B.GrSbnerbases的改进算法构造。 ACM SIGSAM公牛。 12/2 (1978), 27-36. 谷歌学者 19 LAVER，M.Kanonische Repr/isentanten ffir die Restklassen nach einem Polynomidead，M.卡诺尼采·拉弗（M.卡诺尼采）。 西德凯泽斯劳滕凯泽斯劳滕大学信息学院文凭（1976年）。 谷歌学者 20 LAVER，M.多项式理想剩余类的正则表示。 ACM符号与符号研讨会会议记录； 和代数计算（纽约约克敦高地）ACM，纽约，1976年，第339-345页。 谷歌学者 21 LAZARD，D.GrSbner基底，代数方程组的高斯消去和分解。 《欧洲计算机代数会议论文集》（EUROCAL’83）（伦敦），J.A.van Hulzen，Ed.，146-156（1983）。 谷歌学者 22 Loos，R.关于计算机代数的形式化实现。 在74年欧洲杯赛程中，ACM SIGSAM Bull。 8/3 (1974), 9-16. 谷歌学者 23 MATZAT，B.H.Konstruktion von Zahlkfrpern mit der Galoisgruppe Mn光纤Q（~/Z-11）。 马努斯克。 数学。 27 {1979), 103-111. 谷歌学者 24 MOLLER，H.M.Mehrdimensionale Hermite-插值与数值积分。 Mal:h.Z.148（1976），107-118。 谷歌学者 25 MOLLER，H.M.和MORA，F.Groebner ba，~es度的上下限。《符号和代数计算国际研讨会论文集》（EUROSAM 84）（英国剑桥），第172-183页{1984年）。 谷歌学者 26 MYSOVSKIKH，I.P.使用插值体积公式逼近多重积分。 《定量近似》，R.A.De Vote和K.Scherer，Eds.学术出版社，纽约，（1980），第217-243页。 谷歌学者 27 SCHALLER，S.C.多项式残基类环的算法方面。 威斯康星大学麦迪逊分校计算机科学系技术代表370博士论文，1979年。 谷歌学者 28 SCHRADER，R.Zur konstruktiven Idealtheorie，Diplorabeit，Institute fOr Mathematik，Univ.{卡尔斯鲁厄，卡尔斯鲁赫，西德，1976年。 谷歌学者 29 SPEAR，D.A.交换环理论的构造方法。 《1977年MACSYMA用户会议记录》（1977年），第369-376页。 谷歌学者 30 TRINKS，W.~lber B.Buchbergers Verfahren，Systeme algebraischer Gleichungen zu 16sen。 J.数论10（1978），475-488。 谷歌学者 31 范德瓦尔登，S.L.代数II。 施普林格·弗拉格，柏林，海德堡，纽约，1967年。 谷歌学者 32 WINKLER，F.在GrSbner-Basen上实现了eines Algorithmus zur Konstruktion。 奥地利林茨林茨大学数学研究所文凭（1978年）。 谷歌学者 33 WINKLER，F.关于K{x，y，z}上GrSbner-bases算法的复杂性。 《符号和代数计算国际研讨会论文集》（EUROSAM’84）（英国剑桥），第184-194页（1984）。 谷歌学者 34 WINKLER，F.计算机代数中的Church-Rosser性质和特殊定理证明：临界路径/完成算法的研究。 博士论文，奥地利林茨大学马西马蒂克研究所（1984年）。 谷歌学者 35 YUN，D.Y.Y.关于多项式方程组的求解算法。 ACM SIGSAM公牛。 第27号（1973年）。 谷歌学者 36 ZACHAmAS，G.交换多项式环中的广义GrSbner基。 麻省理工学院理学学士学位论文（1978年）。 谷歌学者
索引术语
算法628：构造多项式理想规范基的算法
建议
Gröbner基础与系统理论 我们为从事系统理论工作或对系统理论感兴趣的读者介绍了Gröbner基理论的基本概念和结果。 通过实例介绍了Gröbner基理论的概念和方法。 没有先决条件，除了一些基本概念。。。
