On the Computation of Elimination Ideals of Boolean Polynomial Rings

DOI10.1007/978-3-540-87827-8_29MaRDI QIDQ3598007zbMATH OpenOpenAlexFDO

Authors Yosuke Sato, Akira Nagai, Shutaro Inoue

Publication date 29 January 2009

Published in Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87827-8_29

zbMATH Keywords

Boolean Gröbner Bases

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)

Recommendations

• On the Computation of Comprehensive Boolean Gröbner Bases
• On the implementation of Boolean Gröbner bases
• Boolean Gröbner bases. Theory, algorithms and applications
• On the implementation of Boolean Gröbner bases
• Polybori: A framework for Gröbner-basis computations with Boolean polynomials

Cites work

• scientific article; zbMATH DE number 3501560 (Why is no real title available?)
• scientific article; zbMATH DE number 1262465 (Why is no real title available?)
• A new algorithm for discussing Gröbner bases with parameters.
• A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• 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
• Improving the DISPGB algorithm using the discriminant ideal

Cited in

(7)

• Boolean ideals and their varieties
• Elimination theory for addition and the frobenius map in polynomial rings
• Gröbner bases for polynomial systems with parameters
• Ideal-specific elimination orders form a star-shaped region
• On computation of Boolean involutive bases
• Boolean Gröbner bases
• On the Computation of Comprehensive Boolean Gröbner Bases

This page was built for publication: On the Computation of Elimination Ideals of Boolean Polynomial Rings

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