Michael Brickenstein

Available identifiers

zbMath Open brickenstein.michaelMaRDI QIDQ541980

List of research outcomes

Publication	Date of Publication	Type
swMATH -- citations for your mathematical software	2013-08-26	Paper
swMATH – A New Information Service for Mathematical Software	2013-08-09	Paper
Gröbner-free normal forms for Boolean polynomials	2012-11-12	Paper
Constructive \(D\)-module theory with \texttt{Singular}	2011-06-08	Paper
Obtaining and solving systems of equations in key variables only for the small variants of AES	2011-02-19	Paper
Slimgb: Gröbner bases with slim polynomials	2010-10-04	Paper
Boolean Gröbner bases. Theory, algorithms and applications	2010-10-04	Paper
Polybori: A framework for Gröbner-basis computations with Boolean polynomials	2009-07-01	Paper
New developments in the theory of Gröbner bases and applications to formal verification	2009-05-12	Paper
Gröbner-free normal forms for Boolean polynomials	2009-01-20	Paper

Research outcomes over time

This page was built for person: Michael Brickenstein