Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-5 of 5)
Numerical calculations -- Verification.
1 2014 Accuracy Verification Methods : Theory and Algorithms Mali, Olli, author Dordrecht : Springer, 2014 Rating: Electronic Resources More...
2 2016 Scientific computing, computer arithmetic, and validated numerics : 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised selected papers GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (16th : 2014 : Würzburg, Germany) Switzerland : Springer, 2016 Rating: Electronic Resources More...
3 2011 Validated numerics : a short introduction to rigorous computations Tucker, Warwick, 1961- Rating: Electronic Resources
4 2002 Verification of Computer Codes in Computational Science and Engineering Knupp, Patrick Rating: Electronic Resources
5 2011 Virtual immersive and 3D learning spaces : emerging technologies and trends Rating: Electronic Resources
Add Marked to Bag Add All On Page Locate in results

Accuracy Verification Methods : Theory and Algorithms