Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
From MaRDI portal
Recommendations
Cited in
(53)- 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
- From perturbative methods to machine learning techniques in space science
- 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
- Constructive proofs of existence and stability of solitary waves in the Whitham and capillary-gravity Whitham equations
- 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
- Determination of stable branches of relative equilibria of the N-vortex problem on the sphere
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- scientific article; zbMATH DE number 1105197 (Why is no real title available?)
- Improved stability estimates at elliptic equilibria of Hamiltonian systems
- Computer methods and Borel summability applied to Feigenbaum's equation
- Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces
- Computer-assisted proofs of gap solitons in Bose-Einstein condensates
- Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
- 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)
