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>

Konferenz/Veranstaltung: International Conference on Interval Methods in Science and Engineering Karlsruhe 2000-09-18 - 2000-09-22

Einrichtungen

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