Groebner基的快速计算的 理论与算法是研究如何从多变量多项式理想的一组生成元中快速计算出一个Groebner基。传统的Buchberger算法由于多项式除法要约化到零，已经不适用于快速的计算。法国Faugere提出了基于签名的算法，缺点是签名在实际计算中无法验证，并且没有给出算法的正确性和终止性证明。由于不仅在计算代数几何学科本身，而且在大量的实际应用的领域如密码学，离散优化，控制系统等许多领域都需要求解多元多项式系统，因此快速计算较大规模的多项式系统的Groebner基是具有理论和实际应用价值的重要研究。本项目的主要研究的目的是给出一个快速计算Groebner基的全新算法并完整地给出其正确性和终止性证明。我们在该项目的实施中主要完成下面的两方面的工作。（1） 完全给出了快速计算Groebner基的新理论和新算法；主要体现在给出了一个新的计算Groebner基的全新框架；给出了在实际计算时容易计算的签名；提出了全新的强Groebner基的概念，并给出了两个强Groebner基的等价刻画；给出了一个基于强Groebner基概念的计算多项式理想的新算法；这些新的准则为我们计算Groebner基提供了新的基础。（2）在多项式矩阵方面，扩展了Youla的MLP引理，并应用它证明了多变多形式矩阵中一个重要结果；利用发展的关于多变多项式矩阵分解的一般结果，我们对两个变量的多项式矩阵的一般分解结果给出了全新的证明。