Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
From MaRDI portal
Publication:5284601
DOI10.1137/S0036144595284180zbMATH Open0865.68111MaRDI QIDQ5284601FDOQ5284601
Alain Schenkel, Peter Wittwer, Hans Koch
Publication date: 12 February 1997
Published in: SIAM Review (Search for Journal in Brave)
Recommendations
Partial differential equations of mathematical physics and other areas of application (35Q99) Logic programming (68N17) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01)
Cited In (46)
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Spontaneous periodic orbits in the Navier-Stokes flow
- Computer-assisted proofs for radially symmetric solutions of PDEs
- 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
- Global dynamics in nonconservative nonlinear Schrödinger equations
- Entire solutions for a semilinear fourth order elliptic problem with exponential nonlinearity
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
- Title not available (Why is that?)
- 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
- Microscopic patterns in the 2D phase-field-crystal model
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
- Periodic orbits in Hořava-Lifshitz cosmologies
- A Posteriori Validation of Generalized Polynomial Chaos Expansions
- 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
- Automatic differentiation for Fourier series and the radii polynomial approach
- A posteriori error bounds for two point boundary value problems: a Green's function approach
- Title not available (Why is that?)
- Computer methods and Borel summability applied to Feigenbaum's equation
- Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof
- Validated numerics for continuation and bifurcation of connecting orbits of maps
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- Computer-assisted estimates for Birkhoff normal forms
- Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
- Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points
- Title not available (Why is that?)
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
- Computer-assisted proofs in analysis
- Title not available (Why is that?)
- Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
- Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
- 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
- Title not available (Why is that?)
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- Title not available (Why is that?)
- PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE
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)
