TY - RPRT AU - Bischof, Christian AU - Lang, Bruno AU - Marquardt, Wolfgang AU - Mönnigmann, Martin TI - Verified determination of singularities in chemical processes : contribution to: SCAN 2000, 9th GAMM-IMACS International Symposium on scientific computing, computer arithmetic and validated numerics, Karlsruhe, 18-22.9.2000 VL - 2000,40 IS - LPT-2000-40 CY - Aachen PB - LPT, RWTH M1 - RWTH-CONV-008281 M1 - LPT-2000-40 T2 - Technical report / LPT, Lehrstuhl für Prozeßtechnik, RWTH Aachen SP - [13] Bl. : graph. Darst. PY - 2001 N1 - Aus: W. Krämer, J. W. v. Gudenberg (Eds.): 'Scientific computing, validated numerics, interval methods', Kluwer, 2001, 305-317 LB - PUB:(DE-HGF)29 UR - https://publications.rwth-aachen.de/record/47896 ER -