Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914): Difference between revisions

@@ Property / cites work @@
+A computer-assisted proof of the Feigenbaum conjectures
+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 @@
+A rigorous ODE solver and Smale's 14th problem
@@ Property / cites work: A rigorous ODE solver and Smale's 14th problem / rank @@
+Normal rank
@@ Property / cites work @@
+The Lorenz attractor exists
@@ Property / cites work: The Lorenz attractor exists / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
+Normal rank
@@ Property / cites work @@
+Computer-assisted proofs in analysis
@@ Property / cites work: Computer-assisted proofs in analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of universality for area-preserving maps
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics in Dynamics
@@ Property / cites work: Rigorous Numerics in Dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5198996
@@ Property / cites work: Q5198996 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for the Cahn-Hilliard equation on the unit square
+Normal rank
@@ Property / cites work @@
+A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
+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 @@
+Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
+Normal rank
@@ Property / cites work @@
+Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
+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 @@
+Some symmetric boundary value problems and non-symmetric solutions
+Normal rank
@@ Property / cites work @@
+Non-symmetric low-index solutions for a symmetric boundary value problem
+Normal rank
@@ Property / cites work @@
+Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
+Normal rank
@@ Property / cites work @@
+Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
+Normal rank
@@ Property / cites work @@
+Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
+Normal rank
@@ Property / cites work @@
+Free Energy of a Nonuniform System. I. Interfacial Free Energy
+Normal rank
@@ Property / cites work @@
+STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
+Normal rank
@@ Property / cites work @@
+Computer-assisted equilibrium validation for the diblock copolymer model
+Normal rank
@@ Property / cites work @@
+Analyticity and Nonanalyticity of Solutions of Delay-Differential Equations
+Normal rank
@@ Property / cites work @@
+Reliable Computation of Robust Response Tori on the Verge of Breakdown
+Normal rank
@@ Property / cites work @@
+Computation of the breakdown of analyticity in statistical mechanics models: Numerical results and a renormalization group explanation
+Normal rank
@@ Property / cites work @@
+A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity
+Normal rank
@@ Property / cites work @@
+A numerically accessible criterion for the breakdown of quasi-periodic solutions and its rigorous justification
+Normal rank
@@ Property / cites work @@
+Rigorous computer-assisted application of KAM theory: a modern approach
+Normal rank
@@ Property / cites work @@
+Computer-assisted enclosure methods for elliptic differential equations
+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 @@
+Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
+Normal rank
@@ Property / cites work @@
+Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
+Normal rank
@@ Property / cites work @@
+Q2765619
@@ Property / cites work: Q2765619 / rank @@
+Normal rank
@@ Property / cites work @@
+The Newton-Kantorovich Theorem
@@ Property / cites work: The Newton-Kantorovich Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
+Normal rank