Implementation of Boolean Gröbner bases in Risa/Asir

DOI10.1145/1823931.1823940zbMath1344.13003OpenAlexW2027029132MaRDI QIDQ5176464

Yosuke Sato, Shutaro Inoue

Publication date: 26 February 2015

Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1823931.1823940

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to commutative algebra (13-04) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Uses Software

• Risa/Asir