| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 432637 | Journal of Logical and Algebraic Methods in Programming | 2014 | 9 Pages |
Abstract
We provide a synopsis of Gunther Schmidt's academic life, ranging from his early days as a student at the Georg-Augustus-Universität Göttingen and the Ludwig-Maximilians-Universität München over his period at the Technische Universität München to his time at the Universität der Bundeswehr München. We also highlight his efforts in providing machine support for mathematical reasoning with relations and for program development, his activities concerning collaborations and projects, and finally some of Gunther's interests beside work and science.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Rudolf Berghammer, Michael Winter,