On the Computation of Comprehensive Boolean Gröbner Bases

DOI10.1007/978-3-642-04103-7_13MaRDI QIDQ3644095zbMATH OpenOpenAlexFDO

Authors Shutaro Inoue

Publication date 10 November 2009

Published in Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04103-7_13

zbMATH Keywords

Boolean Gröbner basiscomputer algebra system \texttt{Risa/Asir}

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
• On the implementation of Boolean Gröbner bases
• Boolean Gröbner bases. Theory, algorithms and applications
• Computer Algebra in Scientific Computing
• Computing Boolean Gröbner bases within linear algebra
• An efficient method for computing comprehensive Gröbner bases
• An implementation method of Boolean Gröbner bases and comprehensive Boolean Gröbner bases on general computer algebra systems
• Boolean Gröbner bases
• Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously
• A combinatorial complexity of Gröbner bases

Cites work

• A new algorithm for discussing Gröbner bases with parameters.
• A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
• An alternative approach to comprehensive Gröbner bases
• Boolean Gröbner bases
• Comprehensive Gröbner bases
• Gröbner bases for polynomial ideals over commutative regular rings
• scientific article; zbMATH DE number 1262465 (Why is no real title available?)
• Improving the DISPGB algorithm using the discriminant ideal
• On the Computation of Elimination Ideals of Boolean Polynomial Rings

Cited in

(10)

• On the robust hardness of Gröbner basis computation
• BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases
• Gröbner-free normal forms for Boolean polynomials
• 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
• scientific article; zbMATH DE number 5733435 (Why is no real title available?)
• On the Computation of Elimination Ideals of Boolean Polynomial Rings
• On the implementation of Boolean Gröbner bases
• Boolean Gröbner bases
• Boolean Gröbner basis

Describes a project that uses

Uses Software

• Risa/Asir
• dpgb

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

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