𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Machine-Checked Implementation of Buchberger's Algorithm

✍ Scribed by Laurent Théry

Book ID
111564193
Publisher
Springer Netherlands
Year
2001
Tongue
English
Weight
157 KB
Volume
26
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Parallel Implementation of Buchberger'
A Parallel Implementation of Buchberger's Algorithm overZpforp ≤  31991
✍ A.A. Reeves 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 391 KB

Gröbner bases of ideals of polynomials are known to have many applications. They have been applied to problems in commutative algebra, statistics, graph theory, robotics and differential equations. Their use as a research tool, however, is limited by their computational complexity. These two facts h

A MIMD implementation of the Buchberger
A MIMD implementation of the Buchberger Algorithm for Boolean polynomials
✍ P. Senechaud 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 413 KB

Senechaud, P\_, A MIMD implementation of the Buchberger algorithm for Boolean polynomials, Parallel Computing 17 (1991) 29-37\_ In this note we present two methods to compute GriSbner basis in parallel, both based on Buchberger's sequential algorithm. A distributed memory MIMD computer (the FPS T40