Electronic Documents Search
Documents found: 1
-
Numerical verification methods and computer-assisted proofs for partial differential equations
Creators Nakao Mitsuhiro T.; Plum Michael; Watanabe Yoshitaka Imprint Singapore: Springer, 2019 Collection Электронные книги зарубежных издательств; Общая коллекция Subjects Дифференциальные уравнения с частными производными; Вычислительные машины электронные — Программирование; численная верификация UDC 517.95; 004.42 Document type Other File type PDF Language English Rights Доступ по паролю из сети Интернет (чтение) pdf, 22 Mb