Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations More Books Like This

Current Trends in Mathematical Analysis and Its Interdisciplinary Applications Current Trends in Mathematical Analysis and Its Interdisciplinary Applications
2019
Mathematical Analysis and Applications Mathematical Analysis and Applications
2022
Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan
2018
New Sinc Methods of Numerical Analysis New Sinc Methods of Numerical Analysis
2021
Analysis as a Life Analysis as a Life
2019
Analysis, Probability, Applications, and Computation Analysis, Probability, Applications, and Computation
2019
Mathematics of Wave Phenomena Mathematics of Wave Phenomena
2020
Variational, Topological, and Partial Order Methods with Their Applications Variational, Topological, and Partial Order Methods with Their Applications
2012
Integral Equation Methods for Evolutionary PDE Integral Equation Methods for Evolutionary PDE
2022
Contemporary Research in Elliptic PDEs and Related Topics Contemporary Research in Elliptic PDEs and Related Topics
2019
Anomalies in Partial Differential Equations Anomalies in Partial Differential Equations
2021
Nonlinear Analysis, Geometry and Applications Nonlinear Analysis, Geometry and Applications
2022
Singular Perturbations and Boundary Layers Singular Perturbations and Boundary Layers
2018
From Operator Theory to Orthogonal Polynomials, Combinatorics, and Number Theory From Operator Theory to Orthogonal Polynomials, Combinatorics, and Number Theory
2021
Elliptic Carleman Estimates and Applications to Stabilization and Controllability, Volume I Elliptic Carleman Estimates and Applications to Stabilization and Controllability, Volume I
2022