Numerical verification methods and computer-assisted proofs for partial differential equations. (2019) - Nakao, Mitsuhiro T; Plum, Michael; (Mathematician), Watanabe, Yoshitaka
No abstract available