Gröbner-free normal forms for Boolean polynomials

DOI10.1016/j.jsc.2011.04.002zbMath1250.06006OpenAlexW1993718782MaRDI QIDQ1760097

Alexander Dreyer, Michael Brickenstein

Publication date: 12 November 2012

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2011.04.002

zbMATH Keywords

interpolationnormal formsBoolean functionsBoolean polynomials

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Boolean functions (06E30) Systems biology, networks (92C42)

Related Items (1)

Cohomology, Bocksteins, and resonance varieties in characteristic 2

Uses Software

• PolyBoRi
• SINGULAR
• CUDD

This page was built for publication: Gröbner-free normal forms for Boolean polynomials