| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| The Concrete Tetrahedron: Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates | 978-3-7091-0444-6 (3-7091-0444-0) | 2011 |
| Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... Notes in Computer Science, Band 4573) | 978-3-540-73083-5 (3-540-73083-4) | 2007 |
M. K. · Manuel Kraus · Manuela Krach · Manuela Krause · Manuela Krauß