Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
From MaRDI portal
Publication:5284601
DOI10.1137/S0036144595284180zbMath0865.68111MaRDI QIDQ5284601
Alain Schenkel, Peter Wittwer, Hans Koch
Publication date: 12 February 1997
Published in: SIAM Review (Search for Journal in Brave)
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)
Related Items
Microscopic patterns in the 2D phase-field-crystal model, Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds, Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation, Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach, 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, Entire solutions for a semilinear fourth order elliptic problem with exponential nonlinearity, Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof, Stability and uniqueness of slowly oscillating periodic solutions to Wright's equation, A rigorous implicit \(C^1\) Chebyshev integrator for delay equations, Rigorous computer-assisted application of KAM theory: a modern approach, Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature, Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd, Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems, Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds, Periodic orbits in Hořava-Lifshitz cosmologies, Validated numerics for continuation and bifurcation of connecting orbits of maps, Computer-assisted estimates for Birkhoff normal forms, Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem, A Posteriori Validation of Generalized Polynomial Chaos Expansions, Computation of maximal local (un)stable manifold patches by the parameterization method, Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity, Computer-assisted proofs for radially symmetric solutions of PDEs, PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE, Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions, Automatic differentiation for Fourier series and the radii polynomial approach, Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence, Spontaneous periodic orbits in the Navier-Stokes flow, Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach, Topological invariants, multivalued maps and computer assisted proofs in dynamics, Rigorous verification of Hopf bifurcations in functional differential equations of mixed type, Global dynamics in nonconservative nonlinear Schrödinger equations, A manifesto for the computational method
