Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

MLA

Nakao, Michael Plum, and Yoshitaka Watanabe. Numerical Verification Methods and Computer-assisted Proofs for Partial Differential Equations. Springer Singapore, 2019.

APA

Nakao, N., Plum, M., & Watanabe, Y. (2019). Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations. Springer Singapore.

Chicago

Nakao, Michael Plum, and Yoshitaka Watanabe. Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations. : Springer Singapore, 2019.