Publikation

Verified determination of singularities in chemical processes

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

Karlsruhe (2000)
Abstract, Beitrag zu einem Tagungsband

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>

Einrichtungen

  • Lehrstuhl für Hochleistungsrechnen (Informatik 12) [123010]
  • Lehrstuhl für Prozesstechnik [416410]
  • Fachgruppe Informatik [120000]