|
|
|
|
LEADER |
00000nam a2200000 a 4500 |
001 |
5145535 |
003 |
ICU |
005 |
20050112152500.0 |
008 |
040227s2004 gw a b 101 0 eng |
010 |
|
|
|a 2004042817
|
020 |
|
|
|a 3540212604 (acid-free paper)
|
040 |
|
|
|a DLC
|c DLC
|d OCoLC
|d OrLoB-B
|
042 |
|
|
|a pcc
|
049 |
|
|
|a CGUA
|
050 |
0 |
0 |
|a QA297
|b .N867 2004
|
082 |
0 |
0 |
|a 518/.0285/5
|2 22
|
245 |
0 |
0 |
|a Numerical software with result verification :
|b International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /
|c René Alt ... [et al.] (eds.).
|
246 |
3 |
0 |
|a International Dagstuhl Seminar
|
260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c2004.
|
300 |
|
|
|a x, 313 p. :
|b ill. ;
|c 24 cm.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
440 |
|
0 |
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 2991
|
504 |
|
|
|a Includes bibliographical references and index.
|
505 |
0 |
0 |
|t OOP and interval arithmetic : language support and libraries /
|r Jurgen Wolff von Gudenberg --
|t C-XSC 2.0 : a C++ library for extended scientific computing /
|r Werner Hofschuster and Walter Kramer --
|t Libraries, tools, and interactive systems for verified computations : four case studies /
|r R. Baker Kearfott, Markus Neher, Shin'ichi Oishi and Fabien Rico --
|t Multiple precision interval packages : comparing different approaches /
|r Markus Grimmer, Knut Petras and Nathalie Revol --
|t Interval testing strategies applied to COSY's interval and Taylor model arithmetic /
|r George F. Corliss and Jun Yu --
|t Nonlinear parameter and state estimation for cooperative systems in a bounded-error context /
|r Michel Kieffer and Eric Walter --
|t Guaranteed numerical computation as an alternative to computer algebra for testing models for identifiability /
|r Eric Walter, Isabelle Braems, Luc Jaulin and Michel Kieffer --
|t Interval algorithms in modeling of multibody systems /
|r Ekaterina Auer, Andres Kecskemethy, Martin Tandl and Holger Traczinski --
|t Reliable distance and intersection computation using finite precision geometry /
|r Katja Buhler, Eva Dyllong and Wolfram Luther --
|t On singular interval systems /
|r Gotz Alefeld and Gunter Mayer --
|t Result-verifying solution of nonlinear systems in the analysis of chemical processes /
|r Thomas Beelitz, Christian Bischof, Bruno Lang and Klaus Schulte Althoff --
|t Verified numerical analysis of the performance of switching systems in telecommunication /
|r Daniela Fausten and Gerhard Hasslinger --
|t Result verification for computational problems in geodesy /
|r Stefan Borovac and Gerhard Heindl --
|t Global optimization in the COCONUT project /
|r Hermann Schichl --
|t An application of wavelet theory to early breast cancer /
|r Baya Oussena, Abderrezak Henni and Rene Alt --
|t Using PVS to validate the inverse trigonometric functions of an exact arithmetic /
|r David Lester --
|t Novel approaches to numerical software with result verification /
|r Laurent Granvilliers, Vladik Kreinovich and Norbert Muller --
|t Static analysis-based validation of floating-point computations /
|r Sylvie Putot, Eric Goubault and Matthieu Martel.
|
650 |
|
0 |
|a Numerical analysis
|x Computer programs
|v Congresses.
|
650 |
|
0 |
|a Computer software
|x Verification
|v Congresses.
|0 http://id.loc.gov/authorities/subjects/sh2009121254
|
650 |
|
7 |
|a Computer software
|x Verification.
|2 fast
|0 http://id.worldcat.org/fast/fst00872604
|
650 |
|
7 |
|a Numerical analysis
|x Computer programs.
|2 fast
|0 http://id.worldcat.org/fast/fst01041276
|
655 |
|
7 |
|a Conference papers and proceedings.
|2 fast
|0 http://id.worldcat.org/fast/fst01423772
|
700 |
1 |
|
|a Alt, René.
|0 http://id.loc.gov/authorities/names/n2004001690
|1 http://viaf.org/viaf/30602413
|
035 |
|
|
|a (OCoLC)54677773
|
901 |
|
|
|a ToCBNA
|
903 |
|
|
|a HeVa
|
929 |
|
|
|a cat
|
999 |
f |
f |
|i d6cf07f5-c723-573c-be5b-2c9c5095916d
|s 681dc4c0-eb37-5274-ae9e-4cac4f3b4535
|
928 |
|
|
|t Library of Congress classification
|a QA297.N867 2004
|l ASR
|c ASR-SciASR
|i 4944617
|
927 |
|
|
|t Library of Congress classification
|a QA297.N867 2004
|l ASR
|c ASR-SciASR
|e CRERAR
|b 65316903
|i 7679425
|