Details:
Title | A new proof for the correctness of the F5 algorithm. | Author(s) | Yao Sun, Dongming Wang | Type | Article in Journal | Abstract | | Keywords | | ISSN | 1674-7283; 1869-1862/e |
URL |
http://link.springer.com/article/10.1007%2Fs11425-012-4480-1 |
Language | English | Journal | Sci. China, Math. | Volume | 56 | Number | 4 | Pages | 745--756 | Publisher | Springer, Berlin/Heidelberg; Science in China Press, Beijing | Year | 2013 | Edition | 0 | Translation |
No | Refereed |
No |
|