»Mathematical Problems in Engineering«        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: Prof. Dr. Hans-Jürgen Buhl Prof. Dr. Gerhard Heindl Prof. Dr. Silke Schlosser-Haupt Prof. Reinhard Stiefken 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