Servicenavigation

Detailseite

Zurück

Projekt Druckansicht

TRR 195:  Symbolische Werkzeuge in der Mathematik und ihre Anwendung

Fachliche Zuordnung Mathematik
Förderung Förderung seit 2017
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 286237555
 
Das Berechnen von Beispielen war immer zentraler Bestandteil mathematischer Forschung. Moderne Computer kombiniert mit ausgeklügelter mathematischer Software haben die Möglichkeiten solcher Rechnungen potenziert. Im Bereich der Algebra und ihrer Anwendungen, wo exakte Berechnungen unumgänglich sind, wird die nötige mathematische Software von der Computeralgebra bereitgestellt. Aktuelle Herausforderungen in diesem Gebiet ergeben sich durch die zunehmende Komplexität der Beispiele, einen erhöhten Abstraktionsgrad und den Ruf nach interdisziplinären Methoden. Der TRR 195 wird sich in einer Schlüsselposition diesen Herausforderungen stellen.Die Forscher des TRR 195 haben bahnbrechende Beiträge zur Computeralgebra geleistet und können sich auf führende Computeralgebrasysteme stützen, die (zum großen Teil) innerhalb des TRR 195 entwickelt werden. Die fünf Kernbereiche des TRR 195, Gruppen- und Darstellungstheorie, algebraische Geometrie und kommutative Algebra, tropische und polyedrische Geometrie, nicht kommutative Algebra und freie Wahrscheinlichkeitstheorie, Zahlentheorie, sind für die Anwendung von Computeralgebra-Methoden prädestiniert. Der TRR 195 bietet nicht nur die einmalige Gelegenheit, die weitere Pflege und Entwicklung der Systeme sicherzustellen, sondern sie auch in einem System der nächsten Generation, genannt OSCAR, zu integrieren, das die kombinierten mathematischen Fähigkeiten der einzelnen Systeme über-steigt.Die Hauptbeiträge des TRR 195 sind:· konstruktiver Zugang zu grundlegenden mathematischen Konzepten und das Design von entsprechenden Algorithmen;· Untersuchen und Lösen tiefer mathematischer Probleme unter Verwendung insbesondere von algorithmischen und experimentellen Methoden;· Unterstützung des mathematischen Fortschritts, indem mathematische Objekte konstruiert, Datenbanken generiert und der mathematischen Gemeinschaft zugänglich gemacht werden;· Entwurf und Weiterentwicklung des Computeralgebrasystems OSCAR für die interdisziplinäre Forschung in den Bereichen des TRR 195 und seinen Anwendungsbereichen, Implementierung der neuen Algorithmen und die Integration der Datenbanken in OSCAR;· Steigerung der Leistung aller OSCAR-Komponenten durch Kombination neuer Algorithmen und technischer Fortschritte, insbesondere durch Parallelisierung.
DFG-Verfahren Transregios

Laufende Projekte

Abgeschlossene Projekte

 
 

Zusatzinformationen

© 2024 DFG Kontakt / Impressum / Datenschutz

Textvergrößerung und Kontrastanpassung