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 Доступ по паролю из сети Интернет (чтение)

Creators

...

Scientific adviser

...

Publication year

...

Digital publication year

...

Publisher

...

Collection

...

Subjects

...

Document type

...

Language

...

Access

...

Level of education

...

Speciality code (FGOS)

...

Speciality code (OKSO)

...

Speciality code (OKSVNK)

...

Speciality group (FGOS)

...

Speciality group (OKSO)

...

Speciality group (OKSVNK)

...

Journal/newspaper

...