 |
Nakao, Mitsuhiro T. Numerical verification methods and computer-assisted proofs for partial differential equations Singapore : Springer, 2019. xiii, 467 p. -- (Springer series in computational mathematics ; vol. 53) QA377 N355 |
| |
Nakao, Mitsuhiro T. Numerical verification methods and computer-assisted proofs for partial differential equations Singapore : Springer, 2019. xiii, 467 p. -- (Springer series in computational mathematics ; vol. 53) QA377 N355 |