Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
From MaRDI portal
Publication:5284601
Recommendations
Cited in
(46)- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE
- Computer-assisted proofs for radially symmetric solutions of PDEs
- Spontaneous periodic orbits in the Navier-Stokes flow
- A manifesto for the computational method
- Stability and uniqueness of slowly oscillating periodic solutions to Wright's equation
- Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds
- Entire solutions for a semilinear fourth order elliptic problem with exponential nonlinearity
- Global dynamics in nonconservative nonlinear Schrödinger equations
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
- scientific article; zbMATH DE number 4108029 (Why is no real title available?)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions
- Periodic orbits in Hořava-Lifshitz cosmologies
- Microscopic patterns in the 2D phase-field-crystal model
- Rigorous computer-assisted application of KAM theory: a modern approach
- Topological invariants, multivalued maps and computer assisted proofs in dynamics
- Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
- A Posteriori Validation of Generalized Polynomial Chaos Expansions
- Automatic differentiation for Fourier series and the radii polynomial approach
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- A posteriori error bounds for two point boundary value problems: a Green's function approach
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- scientific article; zbMATH DE number 1105197 (Why is no real title available?)
- Computer methods and Borel summability applied to Feigenbaum's equation
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Validated numerics for continuation and bifurcation of connecting orbits of maps
- Computer-assisted estimates for Birkhoff normal forms
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points
- scientific article; zbMATH DE number 67118 (Why is no real title available?)
- Computer-assisted proofs in analysis
- scientific article; zbMATH DE number 3870469 (Why is no real title available?)
- Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd
- Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
- A case study in automated theorem proving: Finding sages in combinatory logic
- scientific article; zbMATH DE number 3960891 (Why is no real title available?)
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- scientific article; zbMATH DE number 1070623 (Why is no real title available?)
- Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
This page was built for publication: Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5284601)
