Lehrstuhl für Mathematik mit Schwerpunkt Symbolic Computation
Bücher und Schriften

Bücher und Schriften

Wichtige Anmerkung:

Bei den *.dvi/*.pdf Dateien der folgenden Arbeiten handelt es sich um die unveröffentlichten Vorabversionen. Für die Endversionen wird jeweils auf die gedruckten Exemplare verwiesen.

Bücher und Schriften

  • M. Kreuzer and L. Robbiano, Computational Linear and Commutative Algebra, Springer Verlag, Cham 2016, XVIII + 321 S.

  • G. Baumslag, B. Fine, M. Kreuzer and G. Rosenberger, A Course in Mathematical Cryptography, Verlag De Gruyter, Berlin 2015, XIII + 376 S.
  • M. Kreuzer and L. Robbiano, Computational Commutative Algebra 1, Springer, Heidelberg 2008 (2nd printing), IX + 322 S. [MR 2001j:13027; Zbl. 956.13008]
  • M. Kreuzer and S. Kühling, Logik für Informatiker, Pearson Studium, München 2006, 256 S. und ca. 240 S. Companion Website

  • M. Kreuzer and L. Robbiano, Computational Commutative Algebra 2, Springer, Heidelberg 2005, X + 596 S.

  • M. Kreuzer, Beiträge zur Theorie der nulldimensionalen Unterschemata projektiver Räume, Habilitationsschrift 1997, Regensburger Math. Schriften 26, Universität Regensburg 1998 [MR 99h:13029; Zbl 907.14022] <dvi-file>

  • M. Kreuzer, Vektorbündel und der Satz von Cayley-Bacharach, Regensburger Math. Schr. 21, Universität Regensburg 1989, iv + 120 pp.  [MR 91d:14035; Zbl 685.14012]   <dvi-file>

Computational Commutative Algebra 1
Computational Commutative Algebra 2
Logik für Informatiker