Pages that link to "Item:Q5284601"

The following pages link to Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study (Q5284601):

Displaying 41 items.

• A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
• Entire solutions for a semilinear fourth order elliptic problem with exponential nonlinearity (Q860756) (← links)
• Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
• Computer-assisted proofs in analysis (Q1080247) (← links)
• A case study in automated theorem proving: Finding sages in combinatory logic (Q1098333) (← links)
• A manifesto for the computational method (Q1603721) (← links)
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
• Rigorous computer-assisted application of KAM theory: a modern approach (Q1683736) (← links)
• Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
• Computer-assisted proofs for radially symmetric solutions of PDEs (Q1728241) (← links)
• Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions (Q1753228) (← links)
• Topological invariants, multivalued maps and computer assisted proofs in dynamics (Q1816695) (← links)
• Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
• Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence (Q2005582) (← links)
• Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
• Rigorous verification of Hopf bifurcations in functional differential equations of mixed type (Q2077832) (← links)
• Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
• Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds (Q2134139) (← links)
• Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach (Q2136229) (← links)
• Computer-assisted estimates for Birkhoff normal forms (Q2194431) (← links)
• Stability and uniqueness of slowly oscillating periodic solutions to Wright's equation (Q2407127) (← links)
• Validated numerics for continuation and bifurcation of connecting orbits of maps (Q2423701) (← links)
• A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
• Periodic orbits in Hořava-Lifshitz cosmologies (Q2682409) (← links)
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369) (← links)
• Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← links)
• Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
• (Q4357063) (← links)
• (Q4370601) (← links)
• PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE (Q4908428) (← links)
• Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← links)
• Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof (Q5074385) (← links)
• Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849) (← links)
• Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd (Q6058476) (← links)
• Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems (Q6103996) (← links)
• Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem (Q6155309) (← links)
• A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000) (← links)
• Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods (Q6598405) (← links)
• Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence (Q6635959) (← links)
• Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points (Q6645959) (← links)
• A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory (Q6671871) (← links)