|
- Beschreibung:
-
Integrierte Arbeitsgruppe, die Probleme aus dem Ingenieurbereich mit Methoden der Angewandten Mathematik und Informatik bearbeitet:
- Konstruktion und Implementierung diskreter Modelle
- Symbolisches Rechnen und Verifikationsmethoden
- Strategien zur Lösung großer linearer, ganzzahlig linearer und nichtlinearer Optimierungsprobleme
- Leitung:
-
- Mitarbeiter:
- siehe IAGMPI Seite
- Kooperationen:
- siehe IAGMPI Seite
- Software:
-
ADE - Verifizierte Formelauswertung in Computer-Algebra-Systemen und objektorientierten Programmierumgebungen, Andreas Steins, Fachgruppe Mathematik, Bergische Universität - Gesamthochschule Wuppertal
|