✦ LIBER ✦

Termination of the F5 algorithm

✍ Scribed by Galkin, V. V.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The F5 algorithm in Buchberger’s style

✍ Yao Sun; Dingkang Wang 📂 Article 📅 2011 🏛 Academy of Mathematics and Systems Science, Chines 🌐 English ⚖ 210 KB

Proof of the Faugère criterion for the F

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

A new proof for the correctness of the F

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

Finite termination of the proximal point

✍ Michael C. Ferris 📂 Article 📅 1991 🏛 Springer-Verlag 🌐 English ⚖ 316 KB

Generalization of the F5 algorithm for c

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

Involutive bases algorithm incorporating

✍ Gerdt, Vladimir P.; Hashemi, Amir; M.-Alizadeh, Benyamin 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 465 KB