✦ LIBER ✦

The F5 algorithm in Buchberger’s style

✍ Scribed by Yao Sun; Dingkang Wang

Book ID: 107347268
Publisher: Academy of Mathematics and Systems Science, Chinese Academy of Sciences
Year: 2011
Tongue: English
Weight: 210 KB
Volume: 24
Category: Article
ISSN: 1009-6124
DOI: 10.1007/s11424-011-0218-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Termination of the F5 algorithm

✍ Galkin, V. V. 📂 Article 📅 2014 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 289 KB

Proof of the Faugère criterion for the F

✍ O. N. German 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 602 KB

Computing Syzygies by Faugère’s F5algori

✍ Gwénolé Ars; Amir Hashemi 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 160 KB

A new proof for the correctness of the F

✍ Yao Sun, DingKang Wang 📂 Article 📅 2012 🏛 SP Science China Press 🌐 English ⚖ 196 KB

On the use of Buchberger criteria in G2V

✍ Vladimir P. Gerdt, Amir Hashemi 📂 Article 📅 2013 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 276 KB

Generalization of the F5 algorithm for c

✍ A. I. Zobnin 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 234 KB