On the implementation of Boolean Gröbner bases

DOI10.1007/978-3-662-43799-5_8MaRDI QIDQ2799553zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• On the implementation of Boolean Gröbner bases
• An implementation method of Boolean Gröbner bases and comprehensive Boolean Gröbner bases on general computer algebra systems
• On the Computation of Comprehensive Boolean Gröbner Bases
• Boolean Gröbner bases. Theory, algorithms and applications
• Computing Boolean Gröbner bases within linear algebra

Cited in

(20)

• Polybori: A framework for Gröbner-basis computations with Boolean polynomials
• BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases
• On computation of Boolean involutive bases
• The implementation and complexity analysis of the branch Gröbner bases algorithm over Boolean polynomial rings
• An implementation method of Boolean Gröbner bases and comprehensive Boolean Gröbner bases on general computer algebra systems
• On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra
• scientific article; zbMATH DE number 5733435 (Why is no real title available?)
• On the Computation of Elimination Ideals of Boolean Polynomial Rings
• On the Computation of Comprehensive Boolean Gröbner Bases
• Boolean Gröbner bases. Theory, algorithms and applications
• On the implementation of Boolean Gröbner bases
• The implementation and complexity analysis of the branch Gröbner bases algorithm over Boolean ring
• Computing Boolean Gröbner bases within linear algebra
• A pommaret division algorithm for computing Grobner bases in boolean rings
• scientific article; zbMATH DE number 5192687 (Why is no real title available?)
• Operadic Gröbner Bases: An Implementation
• Boolean Gröbner bases
• Boolean Gröbner basis
• A MIMD implementation of the Buchberger algorithm for Boolean polynomials
• Role of involutive criteria in computing Boolean Gröbner bases

Describes a project that uses

Uses Software

• Risa/Asir
• BGSet

This page was built for publication: On the implementation of Boolean Gröbner bases

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