Beelitz, Thomas ; Bischof, Christian ; Lang, Bruno ; Althoff, Klaus Schulte (2004):
Result-verifying solution of nonlinear systems in the analysis of chemical processes.
In: Lecture notes in computer science ; 2991, In: Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers / Ren\'e Alt ... (ed., pp. 198-205, Berlin u.a., Springer, [Book Section]
Item Type: | Book Section |
---|---|
Erschienen: | 2004 |
Creators: | Beelitz, Thomas ; Bischof, Christian ; Lang, Bruno ; Althoff, Klaus Schulte |
Title: | Result-verifying solution of nonlinear systems in the analysis of chemical processes |
Language: | English |
Book Title: | Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers / Ren\'e Alt ... (ed. |
Series: | Lecture notes in computer science ; 2991 |
Place of Publication: | Berlin u.a. |
Publisher: | Springer |
Divisions: | 20 Department of Computer Science 20 Department of Computer Science > Scientific Computing |
Date Deposited: | 31 Jul 2012 09:34 |
URL / URN: | http://www.bibliothek.uni-regensburg.de/ezeit/?2018930 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |