000			00557nmm a2200145Ia 4500
008			230125s9999||||xx |||||||||||||||||und||
020			_a9789811376696
100			_aMitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe
245		0	_aNumerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
250			_a1st ed. 2019
260			_bSpringer Nature Singapore _c2019
440			_aSpringer Series in Computational Mathematics
650			_aMathematics and Statistics
856			_uhttps://doi.org/10.1007/978-981-13-7669-6
999			_c12320 _d12320