
 Description:

Integrated working group using Applied Mathematics and Computer Science for problems in engineering:
 Construction and Implementation of Discrete Models
 Symbolic Computing and Verification Methods
 Strategies for Solving Large Linear, Integer Linear and Nonlinear programming problems
 Heads:

 Staff:
 see IAGMPI page
 Cooperation:
 see IAGMPI page
 Software:

ADE  Verified Formula Evaluation in Symbolic Algebra Systems and Object Oriented Programming Environments, Andreas Steins, Department of Mathematics, University of Wuppertal
