Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe <br/><br/>
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations 

 -  Springer  Springer  2019 
<br/><br/><label>ISBN: </label>9789811376696 
<br/><br/><label>Source: </label>EBOOK