Alexander Dreyer

Available identifiers

zbMath Open dreyer.alexanderMaRDI QIDQ1017678

List of research outcomes

Publication	Date of Publication	Type
Gröbner-free normal forms for Boolean polynomials	2012-11-12	Paper
Fast and robust symbolic model order reduction with Analog Insydes	2011-09-02	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
https://portal.mardi4nfdi.de/entity/Q3376164	2006-03-23	Paper

Research outcomes over time

This page was built for person: Alexander Dreyer