Institut für Diskrete Strukturen und Symbolisches Rechnen (IDSR)

Das Institut für diskrete Strukturen und symbolisches Rechnen ist das jüngste Institut am mathematischen Fachbereich der Fakultät 8 Mathematik und Physik. Es konstituierte sich am 1. August 2021 und führte die Lehrstühle für Algebra (früher IAZ) und Differentialgeometrie (früher IGT) zusammen, um die neuesten Entwicklungen computergestützter Mathematik in den Bereichen Algebra und Geometrie abzubilden. Effiziente und vernetzte Software sowie moderne Programmiersprachen zeigen dabei neue und nachhaltige Perspektiven für die Behandlung komplexer Fragestellungen auf, die ganz unterschiedliche Gebiete der theoretischen Mathematik involvieren, aber auch bei diskreten Problemen in angewandten Gebieten wie der diskreten Optimierung oder algebraischen Statistik relevant sind. 

Das Institut ist an Verbundprojekten wie dem SFB-TRR 195 „Symbolic tools“ und diversen internationalen Software-Entwicklungsprojekten wie CHEVIE beteiligt.

Das Institut für Diskrete Strukturen und Symbolisches Rechnen besteht zur Zeit aus den Arbeitsgruppen