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 (17η εκδ.)Nakao, Mitsuhiro T., Michael Plum, και 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 εκδ.)Nakao, 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.
