PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials von Brickenstein, Michael, Dreyer, Alexander

Volltext

New developments in the theory of Gröbner bases and applications to formal verification von Brickenstein, Michael, Dreyer, Alexander, Greuel, Gert-Martin, Wedler, Markus, Wienand, Oliver

Volltext

Gröbner-free normal forms for Boolean polynomials von Brickenstein, Michael, Dreyer, Alexander

Volltext

Slimgb: Gröbner bases with slim polynomials von Brickenstein, Michael

Volltext

Obtaining and Solving Systems of Equations in Key Variables Only for the Small Variants of AES von Bulygin, Stanislav, Brickenstein, Michael

Volltext

Constructive D-Module Theory with Singular von Andres, Daniel, Brickenstein, Michael, Levandovskyy, Viktor, Martín-Morales, Jorge, Schönemann, Hans

Volltext

swMATH – A New Information Service for Mathematical Software von Bönisch, Sebastian, Brickenstein, Michael, Chrapary, Hagen, Greuel, Gert-Martin, Sperber, Wolfram

Volltext

swMATH - a new information service for mathematical software von Bönisch, Sebastian, Brickenstein, Michael, Chrapary, Hagen, Greuel, Gert-Martin, Sperber, Wolfram

Volltext bestellen

Constructive $D$-module Theory with \textsc{Singular} von Andres, Daniel, Brickenstein, Michael, Levandovskyy, Viktor, Martín-Morales, Jorge, Schönemann, Hans

Volltext bestellen

swMATH - a new information service for mathematical software von Bönisch, Sebastian, Brickenstein, Michael, Hagen Chrapary, Gert-Martin Greuel, Sperber, Wolfram

Volltext

swMATH — citations for your mathematical software von Bönisch, Sebastian, Brickenstein, Michael, Greuel, Gert-Martin, Sperber, Wolfram

Volltext

New developments in the theory of Groebner bases and applications to formal verification von Brickenstein, Michael, Dreyer, Alexander, Greuel, Gert-Martin, Wedler, Markus, Wienand, Oliver

Volltext bestellen

Constructive \(D\)-module Theory with \textsc{Singular} von Andres, Daniel, Brickenstein, Michael, Levandovskyy, Viktor, Martín-Morales, Jorge, Schönemann, Hans

Volltext

New developments in the theory of Groebner bases and applications to formal verification von Brickenstein, Michael, Dreyer, Alexander, Gert-Martin Greuel, Wedler, Markus, Wienand, Oliver

Volltext