Normal view
MARC view
Calculs numériques Vérification Congrès (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA)644608: GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (16th : 2014 : Würzburg, Germany) 56924, Scientific computing, computer arithmetic, and validated numerics :