Note: This file is a machine translation of solver1.pdf.
Acknowlegments: Many persons and institutions contributed considerably to the success of this work. I would like to express my thanks to:
- Richard Petti and Jeffrey P. Golden of Macsyma, Inc. (USA) for their interest in this work, for supplying Macsyma licenses and the modifcation of the LINSOLVE function,
- The Center for Microelectronics of the University of Kaiserslautern, in particular Dr. Peter Conradi and Uwe Wassenmüller, for the support of the project,
- Clemens, Frank and Michael for the first-class WG life and particularly Michael for the