MKM-Net
Laufzeit: 01.09.2002 - 31.12.2003
Partner: Univ. Bath, Univ. Bologna, NAG, Univ. Saarbrücken, Univ. Bialystok, RISC Linz
Förderkennzeichen: IST-2001-37057
Förderung durch: EU (IST)
Projektmittel (€): 12000
Kurzfassung
Das Netzwerk MKM (Mathematical Knowledge Management) dient der Zusammenarbeit von Forschern die sich mit unterschiedlichen Aspekten der Verwaltung von mathematischem Wissen beschäftigen. Dabei dient das Gebiet der Mathematik als Modell um allgemeine Probleme des Wissensmanagements zu untersuchen. Behandelt werden Methoden und Werkzeuge zur Verwaltung mathematischer Dokumente, mathematischer Software und mathematischer Formeln bis hin zur Formalisierung mathematischer Inhalte für die...Das Netzwerk MKM (Mathematical Knowledge Management) dient der Zusammenarbeit von Forschern die sich mit unterschiedlichen Aspekten der Verwaltung von mathematischem Wissen beschäftigen. Dabei dient das Gebiet der Mathematik als Modell um allgemeine Probleme des Wissensmanagements zu untersuchen. Behandelt werden Methoden und Werkzeuge zur Verwaltung mathematischer Dokumente, mathematischer Software und mathematischer Formeln bis hin zur Formalisierung mathematischer Inhalte für die automatische Verarbeitung. Fragen des Copyrights sowie Möglichkeiten zur Präsentation mathematischer Inhalte im Internet werden ebenfalls diskutiert.» weiterlesen» einklappen