1. Numerical verification methods and computer-assisted proofs for partial differential equations. (2019) Authors: Nakao, Mitsuhiro T; Plum, Michael; (Mathematician), Watanabe, Yoshitaka Record Type: Book Extent: 1 online resource (xiii, 467 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Scientific computing, computer arithmetic, and validated numerics : 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised selected papers /: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised selected papers. (2016) Editors: Nehmeier, Marco; Gudenberg, J. Wolff von (Jürgen Wolff), 1952-; Tucker, Warwick, 1961- Other Names: GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 16th Record Type: Book Extent: 1 online resource (xiii, 291 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Verification of computer codes in computational science and engineering. (©2003) Other Names: Knupp, Patrick M; Salari, Kambiz Record Type: Book Extent: 1 online resource (144 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗