Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations, Mitsuhiro T. Nakao; Michael Plum; Yoshitaka Watana


Варианты приобретения
Цена: 19564.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Mitsuhiro T. Nakao; Michael Plum; Yoshitaka Watana
Название:  Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
ISBN: 9789811376689
Издательство: Springer
Классификация:





ISBN-10: 9811376689
Обложка/Формат: Hardcover
Страницы: 467
Вес: 0.87 кг.
Дата издания: 2019
Серия: Springer Series in Computational Mathematics
Язык: English
Издание: 1st ed. 2019
Иллюстрации: 11 illustrations, color; 222 illustrations, black and white; xiii, 467 p. 233 illus., 11 illus. in color.
Размер: 243 x 164 x 28
Читательская аудитория: Professional & vocational
Основная тема: Mathematics
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more. In many cases, computer-assisted proofs have the remarkable advantage (compared with a “theoretical” proof) of additionally providing accurate quantitative information.The authors have been working more than a quarter century to establish methods for the verified computation of solutions for partial differential equations, mainly for nonlinear elliptic problems of the form -?u=f(x,u,?u) with Dirichlet boundary conditions. Here, by “verified computation” is meant a computer-assisted numerical approach for proving the existence of a solution in a close and explicit neighborhood of an approximate solution. The quantitative information provided by these techniques is also significant from the viewpoint of a posteriori error estimates for approximate solutions of the concerned partial differential equations in a mathematically rigorous sense.In this monograph, the authors give a detailed description of the verified computations and computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by the authors Nakao and Watanabe are presented. These methods are based on a finite dimensional projection and constructive a priori error estimates for finite element approximations of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the author Plum are explained in detail. The main task of this method consists of establishing eigenvalue bounds for the linearization of the corresponding nonlinear problem at the computed approximate solution. Some brief remarks on other approaches are also given in Part III. Each method in Parts I and II is accompanied by appropriate numerical examples that confirm the actual usefulness of the authors’ methods. Also in some examples practical computer algorithms are supplied so that readers can easily implement the verification programs by themselves.
Дополнительное описание: 1. Basic principle of the verification.- 2. Newton-type approaches in finite dimension.- 3. Infinite dimensional Newton-type method.- 4. Applications to the computer-assisted proof in analysis.- 5. Evolutional equations.- 6. Eigenvalue enclosures for self



Numerical Integration of Space Fractional Partial Differential Equations: Volume 1 - Introduction to Algorithms and Computer Coding in R

Автор: Younes Salehi, William E. Schiesser
Название: Numerical Integration of Space Fractional Partial Differential Equations: Volume 1 - Introduction to Algorithms and Computer Coding in R
ISBN: 1681732076 ISBN-13(EAN): 9781681732077
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 12335.00 р.
Наличие на складе: Нет в наличии.

Описание: Partial differential equations are one of the most used widely forms of mathematics in science and engineering. Two fractional PDEs can be considered, fractional in time, and fractional in space. These two volumes are directed to the development and use of SFPDEs, with the discussion divided into an introduction to Algorithms and Computer Coding in R and applications from classical integer PDEs.

Mathematical and Numerical Methods for Partial Differential Equations

Автор: Jo?l Chaskalovic
Название: Mathematical and Numerical Methods for Partial Differential Equations
ISBN: 3319035622 ISBN-13(EAN): 9783319035628
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This self-tutorial offers a concise yet thorough introduction into the mathematical analysis of approximation methods for partial differential equations. It uses a unique teaching method which explains the analysis using exercises and detailed solutions.

Asymptotic and Numerical Methods for Partial Differential Equations with Critical Parameters

Автор: H.G. Kaper; Gail W. Pieper; Marc Garbey
Название: Asymptotic and Numerical Methods for Partial Differential Equations with Critical Parameters
ISBN: 0792320611 ISBN-13(EAN): 9780792320616
Издательство: Springer
Рейтинг:
Цена: 41647.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A record of the workshop on asymptotic-induced numerical methods for partial differential equations, critical parameters and domain decomposition, held at Beaune, France. The book discusses new computational methods, recent algorithm developments and techniques in mathematical modelling.

Numerical Methods for Nonlinear Partial Differential Equations

Автор: S?ren Bartels
Название: Numerical Methods for Nonlinear Partial Differential Equations
ISBN: 3319137964 ISBN-13(EAN): 9783319137964
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The description of many interesting phenomena in science and engineering leads to infinite-dimensional minimization or evolution problems that define nonlinear partial differential equations.

Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations

Автор: Tarek Mathew
Название: Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations
ISBN: 3540772057 ISBN-13(EAN): 9783540772057
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A matrix oriented introduction to domain decomposition methodology. It discusses topics including hybrid formulations, Schwarz, substructuring and Lagrange multiplier methods for elliptic equations, computational issues, least squares-control methods, multilevel methods, non-self adjoint problems, parabolic equations and saddle point applications.

Partial Differential Equation Methods for Image Inpainting

Автор: Schоnlieb
Название: Partial Differential Equation Methods for Image Inpainting
ISBN: 1107001005 ISBN-13(EAN): 9781107001008
Издательство: Cambridge Academ
Рейтинг:
Цена: 12195.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is concerned with digital image processing techniques that use partial differential equations (PDEs) for the task of image 'inpainting', an artistic term for virtual image restoration or interpolation, whereby missing or occluded parts in images are completed based on information provided by intact parts. Computer graphic designers, artists and photographers have long used manual inpainting to restore damaged paintings or manipulate photographs. Today, mathematicians apply powerful methods based on PDEs to automate this task. This book introduces the mathematical concept of PDEs for virtual image restoration. It gives the full picture, from the first modelling steps originating in Gestalt theory and arts restoration to the analysis of resulting PDE models, numerical realisation and real-world application. This broad approach also gives insight into functional analysis, variational calculus, optimisation and numerical analysis and will appeal to researchers and graduate students in mathematics with an interest in image processing and mathematical analysis.

Numerical Methods for Nonlinear Partial Differential Equations

Автор: S?ren Bartels
Название: Numerical Methods for Nonlinear Partial Differential Equations
ISBN: 3319356801 ISBN-13(EAN): 9783319356808
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The description of many interesting phenomena in science and engineering leads to infinite-dimensional minimization or evolution problems that define nonlinear partial differential equations.

Numerical Methods for Stochastic Partial Differential Equations with White Noise

Автор: Zhongqiang Zhang; George Em Karniadakis
Название: Numerical Methods for Stochastic Partial Differential Equations with White Noise
ISBN: 3319575104 ISBN-13(EAN): 9783319575100
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers numerical methods for stochastic partial differential equations with white noise using the framework of Wong-Zakai approximation. In addition, stochastic Euler equations are exploited as an application of stochastic collocation methods, where a numerical comparison with other integration methods in random space is made.

Computational Partial Differential Equations / Numerical Methods and Diffpack Programming

Автор: Langtangen Hans P.
Название: Computational Partial Differential Equations / Numerical Methods and Diffpack Programming
ISBN: 354043416X ISBN-13(EAN): 9783540434160
Издательство: Springer
Рейтинг:
Цена: 9362.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This graduate textbook - now in its second edition - teaches finite element methods and basic finite difference methods from a computational point of view. The emphasis is on developing flexible computer programs using the numerical library Diffpack. Diffpack is explained in detail for problems including model equations in applied mathematics, heat transfer, elasticity, and viscous fluid flow. All the program examples, as well as Diffpack for use with this book, are available on the Internet.

Applied logic for computer scientists. Computational Deduction and formal Proofs

Автор: Mauricio Ayala Rincon
Название: Applied logic for computer scientists. Computational Deduction and formal Proofs
ISBN: 3319516515 ISBN-13(EAN): 9783319516516
Издательство: Springer
Рейтинг:
Цена: 6288.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия