Nakao, Mitsuhiro T. — Numerical verification methods and computer-assisted proofs for partial differential equations / Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe. — Singapore: Springer, 2019. — 1 файл (21,6 Мб): ил. — (Springer series in computational mathematics). — Доступ по паролю из сети Интернет (чтение). — <URL:http://elib.spbstu.ru/dl/2/eb23-154.pdf>. — Текст: электронный
| Period | Read | Copy | Open | Total | ||
|---|---|---|---|---|---|---|
| Total | 0 | 0 | 0 | 0 | 0 | |