Springer Series in Computational Mathematics - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Singapore

9789811376689, 9789811376696

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fourth-Order Problems

Springer Series in Computational Mathematics - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations ◽

10.1007/978-981-13-7669-6_8 ◽

2019 ◽

pp. 251-269

Author(s):

Mitsuhiro T. Nakao ◽

Michael Plum ◽

Yoshitaka Watanabe

Keyword(s):

Fourth Order ◽

Fourth Order Problems

Semilinear Elliptic Boundary Value Problems: Abstract Approach and Strong Solutions

Springer Series in Computational Mathematics - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations ◽

10.1007/978-981-13-7669-6_6 ◽

2019 ◽

pp. 179-213

Author(s):

Mitsuhiro T. Nakao ◽

Michael Plum ◽

Yoshitaka Watanabe

Keyword(s):

Boundary Value Problems ◽

Elliptic Boundary ◽

Boundary Value ◽

Strong Solutions ◽

Elliptic Boundary Value Problems ◽

Elliptic Boundary Value ◽

Semilinear Elliptic ◽

Abstract Approach

Evolutional Equations

Springer Series in Computational Mathematics - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations ◽

10.1007/978-981-13-7669-6_5 ◽

2019 ◽

pp. 133-176

Author(s):

Mitsuhiro T. Nakao ◽

Michael Plum ◽

Yoshitaka Watanabe

Newton-Type Approaches in Finite Dimension

Springer Series in Computational Mathematics - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations ◽

10.1007/978-981-13-7669-6_2 ◽

2019 ◽

pp. 43-71

Author(s):

Mitsuhiro T. Nakao ◽

Michael Plum ◽

Yoshitaka Watanabe

Keyword(s):

Finite Dimension

Computer-Assisted Proofs for Dynamical Systems

Springer Series in Computational Mathematics - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations ◽

10.1007/978-981-13-7669-6_11 ◽

2019 ◽

pp. 415-421

Author(s):

Mitsuhiro T. Nakao ◽

Michael Plum ◽

Yoshitaka Watanabe

Keyword(s):

Dynamical Systems ◽

Computer Assisted

Basic Principle of the Verification

Springer Series in Computational Mathematics - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations ◽

10.1007/978-981-13-7669-6_1 ◽

2019 ◽

pp. 3-42

Author(s):

Mitsuhiro T. Nakao ◽

Michael Plum ◽

Yoshitaka Watanabe

Keyword(s):

Basic Principle

Applications to the Computer-Assisted Proofs in Analysis

Springer Series in Computational Mathematics - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations ◽

10.1007/978-981-13-7669-6_4 ◽

2019 ◽

pp. 103-131

Author(s):

Mitsuhiro T. Nakao ◽

Michael Plum ◽

Yoshitaka Watanabe

Keyword(s):

Computer Assisted

Eigenvalue Bounds for Self-Adjoint Eigenvalue Problems

Springer Series in Computational Mathematics - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations ◽

10.1007/978-981-13-7669-6_10 ◽

2019 ◽

pp. 349-411

Author(s):

Mitsuhiro T. Nakao ◽

Michael Plum ◽

Yoshitaka Watanabe

Keyword(s):

Eigenvalue Problems ◽

Eigenvalue Bounds

Weak Solutions

Springer Series in Computational Mathematics - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations ◽

10.1007/978-981-13-7669-6_7 ◽

2019 ◽

pp. 215-250

Author(s):

Mitsuhiro T. Nakao ◽

Michael Plum ◽

Yoshitaka Watanabe

Keyword(s):

Weak Solutions

Springer Series in Computational Mathematics - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Singapore

Fourth-Order Problems

Semilinear Elliptic Boundary Value Problems: Abstract Approach and Strong Solutions

Evolutional Equations

Newton-Type Approaches in Finite Dimension

Computer-Assisted Proofs for Dynamical Systems

Basic Principle of the Verification

Applications to the Computer-Assisted Proofs in Analysis

Eigenvalue Bounds for Self-Adjoint Eigenvalue Problems

Other Problem Types

Weak Solutions

Export Citation Format

Springer Series in Computational Mathematics - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential EquationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Singapore

Fourth-Order Problems

Semilinear Elliptic Boundary Value Problems: Abstract Approach and Strong Solutions

Evolutional Equations

Newton-Type Approaches in Finite Dimension

Computer-Assisted Proofs for Dynamical Systems

Basic Principle of the Verification

Applications to the Computer-Assisted Proofs in Analysis

Eigenvalue Bounds for Self-Adjoint Eigenvalue Problems

Other Problem Types

Weak Solutions

Springer Series in Computational Mathematics - Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Latest Publications