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]
@inproceedings{BeelitzBLA03,
title = {Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes},
author = {Thomas Beelitz and Christian H. Bischof and Bruno Lang and Klaus Schulte Althoff},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2991&spage=198},
tags = {analysis},
researchr = {https://researchr.org/publication/BeelitzBLA03},
cites = {0},
citedby = {0},
pages = {198-205},
booktitle = {Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
editor = {René Alt and Andreas Frommer and R. Baker Kearfott and Wolfram Luther},
volume = {2991},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-21260-4},
}