2008/10/29 by Christian Eder, Eder, Christian
Computer Science · #Algebraic Geometry (math.AG) #Commutative Algebra (math.AC) #Computability, Logic, AI Algorithms #FOS: Mathematics
paper · pdf · doi:10.48550/arxiv.0810.5335
openalex publication_date 2008/10/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.