Michael Brickenstein

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Relational Database Theory

Numerically Stable

Top Venues

MKM/Calculemus/DML

J. Symb. Comput.

Publications

Michael Brickenstein, Alexander Dreyer
Gröbner-free normal forms for Boolean polynomials. J. Symb. Comput. 48 (2013)
Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel, Wolfram Sperber
swMATH - a new information service for mathematical software. CoRR (2013)
Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel, Wolfram Sperber
swMATH - A New Information Service for Mathematical Software. MKM/Calculemus/DML (2013)
Daniel Andres, Michael Brickenstein, Viktor Levandovskyy, Jorge Martín-Morales, Hans Schönemann
-Module Theory with Singular. Math. Comput. Sci. 4 (2-3) (2010)
Michael Brickenstein, Alexander Dreyer
Network-driven Boolean Normal Forms. Verification over discrete-continuous boundaries (2010)
Stanislav Bulygin, Michael Brickenstein
Obtaining and Solving Systems of Equations in Key Variables Only for the Small Variants of AES. Math. Comput. Sci. 3 (2) (2010)
Daniel Andres, Michael Brickenstein, Viktor Levandovskyy, Jorge Martín-Morales, Hans Schönemann
Constructive $D$-module Theory with \textsc{Singular} CoRR (2010)
Michael Brickenstein, Alexander Dreyer
PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials. J. Symb. Comput. 44 (9) (2009)
Michael Brickenstein, Alexander Dreyer
Gröbner-free normal forms for boolean polynomials. ISSAC (2008)
Stanislav Bulygin, Michael Brickenstein
Obtaining and solving systems of equations in key variables only for the small variants of AES. IACR Cryptol. ePrint Arch. 2008 (2008)