Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Dreyer, Alexander"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Gröbner-free normal forms for Boolean polynomials
Michael Brickenstein
,
Alexander Dreyer
Journal Symbolic Computation
48
, 2013, pp. 37-53
Fast and robust symbolic model order reduction with
Analog Insydes
Matthias Hauser
,
Christian Salzig
,
Alexander Dreyer
Lecture Notes in Computer Science
6885
, 2011, pp. 215-225
POLYBORI: A framework for Gröbner-basis computations with Boolean polynomials
Michael Brickenstein
,
Alexander Dreyer
Journal Symbolic Computation
44
(9), 2009, pp. 1326-1345
Gröbner-free normal forms for Boolean polynomials
Michael Brickenstein
,
Alexander Dreyer
Proceedings of the 2008 International Symposium on Symbolic and Algebraic Computation, ISSAC'2008 (Hagenberg, Austria, July 20-23, 2008)
, 2008, pp. 55-62