Michael Brickenstein

According to our database, Michael Brickenstein authored at least 7 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Gröbner-free normal forms for Boolean polynomials.

Michael Brickenstein, Alexander Dreyer

J. Symb. Comput., 2013

swMATH - A New Information Service for Mathematical Software.

Sebastian Bönisch, Michael Brickenstein, Hagen Chrapary, Gert-Martin Greuel, Wolfram Sperber

Proceedings of the Intelligent Computer Mathematics, 2013

2010

Obtaining and Solving Systems of Equations in Key Variables Only for the Small Variants of AES.

Stanislav Bulygin, Michael Brickenstein

Math. Comput. Sci., 2010

Constructive <i>D</i>-Module Theory with Singular.

Daniel Andres, Michael Brickenstein, Viktor Levandovskyy, Jorge Martín-Morales, Hans Schönemann

Math. Comput. Sci., 2010

Constructive $D$-module Theory with \textsc{Singular}

Daniel Andres, Michael Brickenstein, Viktor Levandovskyy, Jorge Martín-Morales, Hans Schönemann

CoRR, 2010

Network-driven Boolean Normal Forms.

Michael Brickenstein, Alexander Dreyer

Proceedings of the Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010

2009

PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials.

Michael Brickenstein, Alexander Dreyer

J. Symb. Comput., 2009