Verified determination of singularities in chemical processes

Bischof, Christian; Lang, Bruno; Marquardt, Wolfgang; Mönnigmann, Martin

Karlsruhe (2000)
Abstract, Contribution to a conference proceedings

In: Book of abstracts / SCAN 2000, GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics jontly with Interval 2000, International Conference on Interval Methods in Science and Engineering, September 18 - 22, 2000, Karlsruhe, Germany / Universität Karlruhe (TH), Institut für Angewandte Mathematik. Gesellschaft für Angewandte Mathematik und Mechanik. International Association for Mathematics and Computers in Simulation. Institut für Angewandte Mathematik <Karlsruhe>


  • Chair of Computer Science 12 (High Performance Computing) [123010]
  • Chair of Process Engineering [416410]
  • Department of Computer Science [120000]