Numerical verification methods and computer-assisted proofs for partial differential equations. (English) Zbl 1462.65004
Springer Series in Computational Mathematics 53. Singapore: Springer (ISBN 978-981-13-7668-9/hbk; 978-981-13-7669-6/ebook). xiii, 467 p. (2019).
Reviewer: Rózsa Horváth-Bokor (Budakalász)