Numerical verification methods and computer-assisted proofs for partial differential equations / Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.
2019
QA377
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Numerical verification methods and computer-assisted proofs for partial differential equations / Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.
Author
ISBN
9789811376696 (electronic book)
9811376697 (electronic book)
9789811376689
9811376689
9811376697 (electronic book)
9789811376689
9811376689
Published
Singapore : Springer, 2019.
Language
English
Description
1 online resource (xiii, 467 pages) : illustrations.
Item Number
10.1007/978-981-13-7669-6 doi
Call Number
QA377
Dewey Decimal Classification
515/.353
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed November 18, 2019).
Added Author
Series
Springer series in computational mathematics ; 53.
Available in Other Form
Print version: 9789811376689
Linked Resources
Record Appears in