Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes

Thomas Beelitz, Christian H. Bischof, Bruno Lang, Klaus Schulte Althoff. Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes. In René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther, editors, Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers. Volume 2991 of Lecture Notes in Computer Science, pages 198-205, Springer, 2003. [doi]

Authors

Thomas Beelitz

This author has not been identified. Look up 'Thomas Beelitz' in Google

Christian H. Bischof

This author has not been identified. Look up 'Christian H. Bischof' in Google

Bruno Lang

This author has not been identified. Look up 'Bruno Lang' in Google

Klaus Schulte Althoff

This author has not been identified. Look up 'Klaus Schulte Althoff' in Google