Nakao, M. T., Plum, M., & Watanabe, Y. (2019). Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations (1st ed. 2019.). Springer Singapore : Imprint: Springer. https://doi.org/10.1007/978-981-13-7669-6
Chicago Style (17th ed.) CitationNakao, Mitsuhiro T., Michael Plum, and Yoshitaka Watanabe. Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations. 1st ed. 2019. Singapore: Springer Singapore : Imprint: Springer, 2019. https://doi.org/10.1007/978-981-13-7669-6.
MLA (8th ed.) CitationNakao, Mitsuhiro T., et al. Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations. 1st ed. 2019. Springer Singapore : Imprint: Springer, 2019. https://doi.org/10.1007/978-981-13-7669-6.