Numerical verification methods and computer-assisted proofs for partial differential equations. (2019) - Nakao, Mitsuhiro T
No abstract available