On the Implementation of Boolean Gröbner Bases

DOI10.1007/978-3-662-43799-5_8zbMath1352.68295OpenAlexW201485822MaRDI QIDQ2799553

Shutaro Inoue, Akira Nagai

Publication date: 12 April 2016

Published in: Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-43799-5_8

Mathematics Subject Classification ID

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

Uses Software

• Risa/Asir
• BGSet

This page was built for publication: On the Implementation of Boolean Gröbner Bases