AUTHORS (1-2 of 2)
Tucker, Warwick
1
book jacket

Auto-validating numerical methods
Tucker, Warwick
Basel : Birkhäuser ; London : Springer [distributor], 2010
 
2010
PRINTED

Location: Mathematics Library
2
book jacket

Scientific computing, computer arithmetic, and validated numerics : 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014 : revised selected papers
GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (16th : 2014 : Wurzburg, Germany)
Cham : Springer International Publishing : Imprint: Springer, 2016
2016
電子書

Location: 中央研究院