摘要翻译：
由于对算法终止的证明存在错误，本文已被撤回。此外，本文的一些观点是与John Perry合著的，只提到我一个作者是不合适的。约翰·佩里尽管在承认以前的版本中声明，但没有校对这篇论文。最近，我们找到了一个新的解决方案来确保F5的终止，可以在这里找到:arxiv:1006.0318。
---
英文标题：
《The Algorithmic Behaviour of the F5 Algorithm》
---
作者：
Christian Eder
---
最新提交年份：
2010
---
分类信息：

一级分类：Mathematics        数学
二级分类：Commutative Algebra        交换代数
分类描述：Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics
交换环，模，理想，同调代数，计算方面，不变理论，与代数几何和组合学的联系
--
一级分类：Mathematics        数学
二级分类：Algebraic Geometry        代数几何
分类描述：Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology
代数簇，叠，束，格式，模空间，复几何，量子上同调
--

---
英文摘要：
  This paper has been withdrawn due to an error in the proof of the termination of the algorithm. Moreover, some ideas of this paper are a joint work with John Perry and it is inappropriate to mention only me as an author. John Perry was in spite of the statement in the acknowledgment of previous versions not proofreading this paper. Recently we have found a new solution for ensuring F5's termination, which can be found here : arXiv:1006.0318.
---
PDF链接：
https://arxiv.org/pdf/0810.5335