Numerical verification methods and computer-assisted proofs for partial differential equations
Author(s)
Bibliographic Information
Numerical verification methods and computer-assisted proofs for partial differential equations
（Springer series in computational mathematics, 53）
Springer, c2019
Available at / 8 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
NAK||8||1200040055775
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 447-462) and index