On the correctness of a distributed memory Gröbner basis algorithm
From MaRDI portal
Publication:5055786
DOI10.1007/978-3-662-21551-7_7zbMath1503.68308OpenAlexW1591006157MaRDI QIDQ5055786
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
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Parallel algorithms in computer science (68W10)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notes on Gröbner bases
- Strategy-accurate parallel Buchberger algorithms
- Parallel processors and systems for algebraic manipulation: current work
- Proving termination with multiset orderings
- On the correctness of a distributed memory Gröbner basis algorithm
This page was built for publication: On the correctness of a distributed memory Gröbner basis algorithm