Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369): Difference between revisions

@@ Property / cites work @@
+Q5424369
@@ Property / cites work: Q5424369 / rank @@
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of the Feigenbaum conjectures
+Normal rank
@@ Property / cites work @@
+Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
+Normal rank
@@ Property / cites work @@
+A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Verification methods: Rigorous results using floating-point arithmetic
+Normal rank
@@ Property / cites work @@
+NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
+Normal rank
@@ Property / cites work @@
+Covering relations for multidimensional dynamical systems. II
+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 @@
+Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
+Normal rank
@@ Property / cites work @@
+Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
+Normal rank
@@ Property / cites work @@
+Computational fixed-point theory for differential delay equations with multiple time lags
+Normal rank
@@ Property / cites work @@
+Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
+Normal rank
@@ Property / cites work @@
+Existence of secondary bifurcations or isolas for PDEs
+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 @@
+Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
+Normal rank
@@ Property / cites work @@
+Validated continuation over large parameter ranges for equilibria of PDEs
+Normal rank
@@ Property / cites work @@
+Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for NLS: bound states, spectra, and controllability
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
+Normal rank
@@ Property / cites work @@
+Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem
+Normal rank
@@ Property / cites work @@
+Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits
+Normal rank
@@ Property / cites work @@
+Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
+Normal rank
@@ Property / cites work @@
+Global smooth solution curves using rigorous branch following
+Normal rank
@@ Property / cites work @@
+Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
+Normal rank
@@ Property / cites work @@
+Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of universality for area-preserving maps
+Normal rank
@@ Property / cites work @@
+Q2763551
@@ Property / cites work: Q2763551 / rank @@
+Normal rank
@@ Property / cites work @@
+Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
+Normal rank
@@ Property / cites work @@
+Q4349924
@@ Property / cites work: Q4349924 / rank @@
+Normal rank
@@ Property / cites work @@
+A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
+Normal rank
@@ Property / cites work @@
+Chaos in the Lorenz equations: a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Rigorous Computations of Homoclinic Tangencies
@@ Property / cites work: Rigorous Computations of Homoclinic Tangencies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank