×

zbMATH — the first resource for mathematics

Gunther Schmidt’s life as a mathematician and computer scientist. (English) Zbl 1434.01024
Summary: 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.
MSC:
01A70 Biographies, obituaries, personalia, bibliographies
68-03 History of computer science
Biographic References:
Schmidt, Gunther
Software:
Ralf; Rath; RelView; TituRel
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Abold-Thalmann, H.; Berghammer, R.; Schmidt, G., Manipulation of concrete relations: the \screlview-system, (1989), Fakultät für Informatik, Universität der Bundeswehr München, Bericht Nr. 8905
[2] Alami, L., Dialogsystem für die überprüfung von behauptungen der relationenalgebra, (1985), Technische Universität München, Diplomarbeit
[3] Bauer, F. L., The Munich project CIP, vol. I: the wide spectrum language CIP-L, Lect. Notes Comput. Sci., vol. 183, (1985), Springer
[4] Berghammer, R.; Schmidt, G.; Winter, M., \screlview and \scrath - two systems for dealing with relations, (de Swart, H.; Orlowska, E.; Schmidt, G.; Roubens, M., Theory and Applications of Relational Structures as Knowledge Instruments, Lect. Notes Comput. Sci., vol. 2929, (2003), Springer), 1-16
[5] Brethauer, R., Ein formelmanipulationssystem zur computergestützten beweisführung in der relationenalgebra, (1991), Universität der Bundeswehr München, Diplomarbeit
[6] (Brink, C.; Kahl, W.; Schmidt, G., Relational Methods in Computer Science, Advances in Computing, (1997), Springer) · Zbl 0871.00027
[7] Cardoso, R., Untersuchung von parallelen programmen mit relationenalgebraischen methoden, (1982), Technische Universität München, Diplomarbeit
[8] Gunter, C. A., A universal domain technique for profinite posets, (Brauer, W., Automata, Languages and Programming, Lect. Notes Comput. Sci., vol. 194, (1985)), 232-243
[9] Hattensperger, C., Rechnergestütztes beweisen in heterogenen relationenalgebren, (1997), Universität der Bundeswehr München, Dissertation
[10] Hattensperger, C.; Berghammer, R.; Schmidt, G., \scralf - a relation-algebraic formula manipulation system and proof checker, (Nivat, M.; Rattray, C.; Rus, T.; Scollo, G., Algebraic Methodology and Software Technology, Workshops in Computing, (1993), Springer), 407-408
[11] Kahl, W., Algebraische termersetzung mit gebundenen variablen, (1995), Universität der Bundeswehr München, Dissertation
[12] Kahl, W., The term graph programming system \schops, (Berghammer, R.; Lakhnech, Y., Tool Support for System Specification, Development and Verification, (1999), Springer), 136-149 · Zbl 0979.68510
[13] Langmaack, H.; Schmidt, G., Der verband der Zöpfe, (1969), Abteilung Mathematik, Technische Hochschule München, Bericht 6914
[14] Langmaack, H.; Schmidt, G., Klassen unwesentlich verschiedener ableitungen als verbände, (Dörr, J.; Hotz, G., Automatentheorie und Formale Sprachen, Bericht 3, (1970), Mathematisches Forschungsinstitut Oberwolfach), 169-172 · Zbl 0209.31003
[15] (Mayr, E.; Schmidt, G.; Tinhofer, G., Graph-Theoretic Concepts in Computer Science, Lect. Notes Comput. Sci., vol. 903, (1994), Springer) · Zbl 0813.68031
[16] (Schmidt, G.; Berghammer, R., Graph-Theoretic Concepts in Computer Science, Lect. Notes Comput. Sci., vol. 570, (1992), Springer) · Zbl 0759.00014
[17] Schmidt, G., Kompaktifizierung normaler komplexer Räume, (1962), Ludwig-Maximilians-Universität München, Diplomarbeit
[18] Schmidt, G., Fortsetzung holomorpher abbildungen unter erweiterung des bildraums, (1965), Ludwig-Maximilians-Universität München, Dissertation
[19] Schmidt, G.; Ströhlein, T., A Boolean matrix iteration in timetable construction, Linear Algebra Appl., 15, 27-51, (1976) · Zbl 0358.94049
[20] Schmidt, G., Eine relationenalgebraische auffassung der graphentheorie, (Noltemeier, H., Graphen, Algorithmen und Datenstrukturen, Applied Computer Science - Berichte zur Praktischen Informatik, (1976), Hanser), 315-325 · Zbl 0374.02036
[21] Schmidt, G., Programme als partielle graphen, (1977), Technische Universität München, Habilitationsschrift · Zbl 0399.68016
[22] Schmidt, G., Investigating programs in terms of partial graphs, (Maurer, H. A., Automata, Languages and Programming, Lect. Notes Comput. Sci., vol. 71, (1979)), 505-519
[23] Schmidt, G., Programs as partial graphs I: flow equivalence and correctness, Theor. Comput. Sci., 15, 1-25, (1981) · Zbl 0493.68015
[24] Schmidt, G., Programs as partial graphs II: recursion, Theor. Comput. Sci., 15, 159-179, (1981) · Zbl 0493.68016
[25] Schmidt, G.; Berghammer, R.; Zierer, H., Describing semantic domains with sprouts, Acta Inform., 27, 3, 217-245, (1989) · Zbl 0681.68100
[26] Schmidt, G.; Ströhlein, T.; Schmidt, G.; Ströhlein, T., Relations and graphs, discrete mathematics for computer scientists, EATCS Monographs on Theoretical Computer Science, (1993), Springer, English translation: · Zbl 0900.68328
[27] Schmidt, G., Proposal for a multilevel relational reference language, J. Relat. Methods Comput. Sci., 1, 314-338, (2004)
[28] Schmidt, G., Partiality I: embedding relation algebras, J. Log. Algebr. Program., 66, 2, 212-238, (2006) · Zbl 1086.68093
[29] Schmidt, G., Relational measures and integration, (Schmidt, R. A., Relations and Kleene Algebra in Computer Science, Lect. Notes Comput. Sci., vol. 4136, (2006)), 343-357 · Zbl 1134.68556
[30] Schmidt, G., Rectangles, fringes, and inverses, (Berghammer, R.; Möller, B.; Struth, G., Relations and Kleene Algebra in Computer Science, Lect. Notes Comput. Sci., vol. 4988, (2008)), 352-366 · Zbl 1139.03047
[31] Schmidt, G.; Berghammer, R., Relational measures and integration in preference modeling, J. Log. Algebr. Program., 76, 1, 112-129, (2008) · Zbl 1140.68495
[32] Schmidt, G., Relational mathematics, Encyclopedia of Mathematics and Its Applications, vol. 132, (2010), Cambridge University Press
[33] Schmidt, G.; Berghammer, R., Contact, closure, topology, and the linking of row and column types of relations, J. Log. Algebr. Program., 80, 6, 339-361, (2011) · Zbl 1231.03058
[34] Schmidt, G., Constructions around partialities, (de Swart, H. C.M., Relational and Algebraic Methods in Computer Science, Lect. Notes Comput. Sci., vol. 6663, (2011)), 314-330 · Zbl 1329.03096
[35] Schmidt, G., Partiality II: constructed relation algebras, J. Log. Algebr. Program., 81, 6, 660-679, (2012) · Zbl 1255.03056
[36] Schmidt, G., Relational concepts in social choice, (Kahl, W.; Griffin, T. G., Relational and Algebraic Methods in Computer Science, Lect. Notes Comput. Sci., vol. 7560, (2012)), 278-293 · Zbl 1364.91051
[37] (de Swart, H.; Orlowska, E.; Schmidt, G.; Roubens, M., Theory and Applications of Relational Structures as Knowledge Instruments, Lect. Notes Comput. Sci., vol. 2929, (2003), Springer) · Zbl 1029.00017
[38] (de Swart, H.; Orlowska, E.; Schmidt, G.; Roubens, M., Theory and Applications of Relational Structures as Knowledge Instruments II, Lect. Notes Artif. Intell., vol. 4342, (2006), Springer) · Zbl 1151.68001
[39] (Tinhofer, G.; Schmidt, G., Graph-Theoretic Concepts in Computer Science, Lect. Notes Comput. Sci., vol. 246, (1987), Springer) · Zbl 0619.00022
[40] Zierer, H.; Schmidt, G.; Berghammer, R., An interactive graphical manipulation system for higher objects based on relation algebra, (Tinhofer, G.; Schmidt, G., Graph-Theoretic Concepts in Computer Science, Lect. Notes Comput. Sci., vol. 246, (1987), Springer), 68-81
[41] Zierer, H., Programmierung mit funktionsobjekten: konstruktive erzeugung semantischer bereiche und anwendung auf die partielle auswertung, (1988), Technische Universität München, Dissertation
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.