Michael Brickenstein

MaRDI QIDQ541980zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
swMATH -- citations for your mathematical software Computeralgebra-Rundbrief	2013-08-26	Paper
swMATH -- a new information service for mathematical software Lecture Notes in Computer Science	2013-08-09	Paper
Gröbner-free normal forms for Boolean polynomials Journal of Symbolic Computation	2012-11-12	Paper
Constructive \(D\)-module theory with \texttt{Singular} Mathematics in Computer Science	2011-06-08	Paper
Obtaining and solving systems of equations in key variables only for the small variants of AES Mathematics in Computer Science	2011-02-19	Paper
Slimgb: Gröbner bases with slim polynomials Revista Matemática Complutense	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 Journal of Symbolic Computation	2009-07-01	Paper
New developments in the theory of Gröbner bases and applications to formal verification Journal of Pure and Applied Algebra	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