Zentrales Softwarepaket: OSCAR (B01)

• Fachliche Zuordnung: Mathematik
• Förderung: Förderung seit 2017
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 286237555

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Transregios
• Teilprojekt zu: TRR 195: Symbolische Werkzeuge in der Mathematik und ihre Anwendung
• Antragstellende Institution: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Teilprojektleiter: Professor Dr. Simon Brandhorst, seit 1/2025; Professor Dr. Wolfram Decker, bis 12/2024; Professor Dr. Claus Fieker; Professor Dr. Tommy Hofmann, seit 1/2025; Professor Dr. Max Horn, seit 1/2021; Professor Dr. Michael Joswig; Dr. Frank Lübeck, bis 12/2024