A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000): Difference between revisions

@@ Property / cites work @@
+Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs
+Normal rank
@@ Property / cites work @@
+Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
+Normal rank
@@ Property / cites work @@
+Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
+Normal rank
@@ Property / cites work @@
+Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
+Normal rank
@@ Property / cites work @@
+A Comparative Study of Polynomial-Type Chaos Expansions for Indicator Functions
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
+Normal rank
@@ Property / cites work @@
+Computing Invariant Sets of Random Differential Equations Using Polynomial Chaos
+Normal rank
@@ Property / cites work @@
+Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
+Normal rank
@@ Property / cites work @@
+A Posteriori Error Analysis of Stochastic Differential Equations Using Polynomial Chaos Expansions
+Normal rank
@@ Property / cites work @@
+Q4039908
@@ Property / cites work: Q4039908 / rank @@
+Normal rank
@@ Property / cites work @@
+Validated Continuation for Equilibria of PDEs
@@ Property / cites work: Validated Continuation for Equilibria of PDEs / rank @@
+Normal rank
@@ Property / cites work @@
+A complete proof of the Feigenbaum conjectures
@@ Property / cites work: A complete proof of the Feigenbaum conjectures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023645
@@ Property / cites work: Q4023645 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
+Normal rank
@@ Property / cites work @@
+Linearization of the Product of Jacobi Polynomials. I
+Normal rank
@@ Property / cites work @@
+Linearization of the Product of Jacobi Polynomials. II
+Normal rank
@@ Property / cites work @@
+Q3997987
@@ Property / cites work: Q3997987 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-assisted proofs in PDE: a survey
@@ Property / cites work: Computer-assisted proofs in PDE: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
+Normal rank
@@ Property / cites work @@
+Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
+Normal rank
@@ Property / cites work @@
+Numerical continuation methods for dynamical systems. Path following and boundary value problems.
+Normal rank
@@ Property / cites work @@
+Uncertainty Quantification of Bifurcations in Random Ordinary Differential Equations
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of the Feigenbaum conjectures
+Normal rank
@@ Property / cites work @@
+Spectral Methods for Uncertainty Quantification
@@ Property / cites work: Spectral Methods for Uncertainty Quantification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
+Normal rank
@@ Property / cites work @@
+Automatic differentiation for Fourier series and the radii polynomial approach
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
+Normal rank
@@ Property / cites work @@
+Rigorous continuation of bifurcation points in the diblock copolymer equation
+Normal rank
@@ Property / cites work @@
+Dual-based a posteriori error estimate for stochastic finite element methods
+Normal rank
@@ Property / cites work @@
+A posteriori error analysis for random scalar conservation laws using the stochastic Galerkin method
+Normal rank
@@ Property / cites work @@
+Validated numerics for equilibria of analytic                     vector fields: Invariant manifolds and connecting                     orbits
+Normal rank
@@ Property / cites work @@
+Q3207999
@@ Property / cites work: Q3207999 / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
+Normal rank
@@ Property / cites work @@
+Q3579593
@@ Property / cites work: Q3579593 / rank @@
+Normal rank
@@ Property / cites work @@
+The Newton-Kantorovich Theorem
@@ Property / cites work: The Newton-Kantorovich Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification methods: Rigorous results using floating-point arithmetic
+Normal rank
@@ Property / cites work @@
+Introduction to Uncertainty Quantification
@@ Property / cites work: Introduction to Uncertainty Quantification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5295583
@@ Property / cites work: Q5295583 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904857
@@ Property / cites work: Q4904857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5198996
@@ Property / cites work: Q5198996 / rank @@
+Normal rank
@@ Property / cites work @@
+Galerkin's procedure for nonlinear periodic systems
+Normal rank
@@ Property / cites work @@
+Spontaneous periodic orbits in the Navier-Stokes flow
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics in Dynamics
@@ Property / cites work: Rigorous Numerics in Dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Global smooth solution curves using rigorous branch following
+Normal rank
@@ Property / cites work @@
+Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
+Normal rank
@@ Property / cites work @@
+A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for ODEs using Chebyshev series and domain decomposition
+Normal rank
@@ Property / cites work @@
+Computer-assisted bifurcation diagram                     validation and applications in materials                     science
+Normal rank
@@ Property / cites work @@
+The Homogeneous Chaos
@@ Property / cites work: The Homogeneous Chaos / rank @@
+Normal rank
@@ Property / cites work @@
+Q5268569
@@ Property / cites work: Q5268569 / rank @@
+Normal rank
@@ Property / cites work @@
+The Wiener--Askey Polynomial Chaos for Stochastic Differential Equations
+Normal rank
@@ Property / cites work @@
+A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
+Normal rank