A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000)

scientific article; zbMATH DE number 7712414

Language	Label	Description	Also known as
English	A Posteriori Validation of Generalized Polynomial Chaos Expansions	scientific article; zbMATH DE number 7712414

Statements

instance of

scholarly article

0 references

title

A Posteriori Validation of Generalized Polynomial Chaos Expansions (English)

0 references

author

Maxime Breden

0 references

published in

SIAM Journal on Applied Dynamical Systems

0 references

publication date

13 July 2023

0 references

full work available at URL

https://arxiv.org/abs/2203.02404

0 references

zbMATH Keywords

generalized polynomial chaos

0 references

validated numerics

0 references

validated continuation

0 references

uncertainty quantification

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs

0 references

Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions

0 references

Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation

0 references

Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model

0 references

A Comparative Study of Polynomial-Type Chaos Expansions for Indicator Functions

0 references

Rigorous numerics for nonlinear operators with tridiagonal dominant linear part

0 references

Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos

0 references

Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system

0 references

A Posteriori Error Analysis of Stochastic Differential Equations Using Polynomial Chaos Expansions

0 references

Q4039908

0 references

Validated Continuation for Equilibria of PDEs

0 references

A complete proof of the Feigenbaum conjectures

0 references

Q4023645

0 references

Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions

0 references

Linearization of the Product of Jacobi Polynomials. I

0 references

Linearization of the Product of Jacobi Polynomials. II

0 references

Q3997987

0 references

Computer-assisted proofs in PDE: a survey

0 references

CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

0 references

Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study

0 references

Numerical continuation methods for dynamical systems. Path following and boundary value problems.

0 references

Uncertainty Quantification of Bifurcations in Random Ordinary Differential Equations

0 references

A computer-assisted proof of the Feigenbaum conjectures

0 references

Spectral Methods for Uncertainty Quantification

0 references

Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity

0 references

Automatic differentiation for Fourier series and the radii polynomial approach

0 references

Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series

0 references

Rigorous continuation of bifurcation points in the diblock copolymer equation

0 references

Dual-based a posteriori error estimate for stochastic finite element methods

0 references

A posteriori error analysis for random scalar conservation laws using the stochastic Galerkin method

0 references

Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits

0 references

Q3207999

0 references

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

0 references

Q3579593

0 references

The Newton-Kantorovich Theorem

0 references

Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems

0 references

Q4949347

0 references

Verification methods: Rigorous results using floating-point arithmetic

0 references

Introduction to Uncertainty Quantification

0 references

Q5295583

0 references

Q4904857

0 references

Q5198996

0 references

Galerkin's procedure for nonlinear periodic systems

0 references

Spontaneous periodic orbits in the Navier-Stokes flow

0 references

Rigorous Numerics in Dynamics

0 references

Global smooth solution curves using rigorous branch following

0 references

Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation

0 references

A general framework for validated continuation of periodic orbits in systems of polynomial ODEs

0 references

Rigorous numerics for ODEs using Chebyshev series and domain decomposition

0 references

Computer-assisted bifurcation diagram validation and applications in materials science

0 references

The Homogeneous Chaos

0 references

Q5268569

0 references

The Wiener--Askey Polynomial Chaos for Stochastic Differential Equations

0 references

A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

0 references

Identifiers

zbMATH Open document ID

0 references

0 references

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6174000