On the correctness of a distributed memory Gröbner basis algorithm

DOI10.1007/978-3-662-21551-7_7MaRDI QIDQ5055786zbMATH OpenOpenAlexFDO

Authors Soumen Chakrabarti, Katherine A. Yelick

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-21551-7_7

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Parallel algorithms in computer science (68W10) Symbolic computation and algebraic computation (68W30)

Recommendations

• Parallel computation of Gröbner bases on distributed memory machines
• Extended parallelism in the Gröbner basis algorithm
• Parallel algorithms for Gröbner-basis construction
• A MIMD implementation of the Buchberger algorithm for Boolean polynomials
• Strategy-accurate parallel Buchberger algorithms

Cites work

• scientific article; zbMATH DE number 3649988 (Why is no real title available?)
• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1273640 (Why is no real title available?)
• scientific article; zbMATH DE number 1348485 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 195162 (Why is no real title available?)
• Notes on Gröbner bases
• On the correctness of a distributed memory Gröbner basis algorithm
• Parallel processors and systems for algebraic manipulation: current work
• Parallelizing the closure computation in automated deduction
• Proving termination with multiset orderings
• Strategy-accurate parallel Buchberger algorithms

Cited in

(1)

• On the correctness of a distributed memory Gröbner basis algorithm

Describes a project that uses

Uses Software

• Maple
• UNITY

This page was built for publication: On the correctness of a distributed memory Gröbner basis algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055786)