Numerical verification methods and computer-assisted proofs for partial differential equations
Auteur :
Nakao, Mitsuhiro T. / Plum, Michael / Watanabe, Yoshitaka
Éditeur :
Springer Verlag, Singapore
ISBN :
9789811376719
Date de publication :
20 nov. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Singapour