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