Related papers: The Algorithmic Behaviour of the F5 Algorithm
Proving programs terminating is a fundamental computer science challenge. Recent research has produced powerful tools that can check a wide range of programs for termination. The analog for probabilistic programs, namely termination with…
This paper has been withdrawn by the author. The statement of the Main Theorem but is wrong in general, there have been provided counterexamples. The main theorem only holds conditionally, under the finiteness statement of theorem 2.8.
This paper has been withdrawn by the author due to a coming paper completely superseding it.
The paper has been withdrawn by the autors. The proposed code is not working because orthogonality.
This paper has been withdrawn by the authors, because it has been made obsolete by the detailed expositions in our papers in arXiv:0812.4885 (the mathematics part) and arXiv:0812.4737 (the economics part).
This paper has been withdrawn by the author due to a serious flaw that needs to be fixed. That is in progress by the author.
This paper has been withdrawn by the authors as requested by the journal.
This paper has been withdrawn while the author verifies the literature.
The paper in its present form has been withdrawn.
This paper has been withdrawn by the author
This paper has been withdrawn by the authors.
This paper has been withdrawn due to an error in the proof of the main theorem.
This paper presents a conception for computing gr\"{o}bner basis. We convert some of gr\"{o}bner-computing algorithms, e.g., F5, extended F5 and GWV algorithms into a special type of algorithm. The new algorithm's finite termination problem…
This paper has been withdrawn by the authors due to a crucial error in the proof of the main result. In a new manuscript (with two new authors) available at arXiv:1010.2791v1 this problem has been resolved.
This paper has been withdrawn by the author. Improved versions (arXiv:1109.5548 and arXiv:0708.4190) are accepted.
This paper has been withdrawn since we combine this paper with math.AC/0503685. All contents of the paper have been moved to math.AC/0503685.
This paper has been withdrawn by the author. It will be replaced, substantially modified, by sections of the author's completed PhD thesis.
This paper is withdrawn because the results in the paper are included in a paper to be published in Mathematical and Computer Modelling.
This paper has been withdrawn by the author due to rewritting and skipping crucial sign errors.
This paper has been withdrawn by the author, due to a crucial error in the proof of Thm.1