Details:
Title | Proof of the Faug`ere criterion for the F5 algorithm. | Author(s) | Oleg N. German | Type | Article in Journal | Abstract | | Keywords | | ISSN | 0001-4346; 1573-8876/e |
URL |
http://link.springer.com/article/10.1134%2FS0001434610090191 |
Language | English | Journal | Math. Notes | Volume | 88 | Number | 4 | Pages | 479--486 | Publisher | Springer US, New York, NY; Pleiades Publishing, New York, NY; MAIK ``Nauka/Interperiodica | Year | 2010 | Edition | 0 | Translation |
No | Refereed |
No |
|