scientific article; zbMATH DE number 1432037
From MaRDI portal
Publication:4948707
Recommendations
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Computer-assisted proofs for radially symmetric solutions of PDEs
- scientific article; zbMATH DE number 4108029
- Numerical verification methods and computer-assisted proofs for partial differential equations
- Computer-assisted proofs in analysis
Cited in
(12)- A lower bound on the variance of conductance in random resistor networks
- A strong law of large numbers for iterated functions of independent random variables
- Rigorous computer-assisted application of KAM theory: a modern approach
- Computing discrete convolutions with verified accuracy via Banach algebras and the FFT.
- Computer-assisted estimates for Birkhoff normal forms
- Computer-assisted proofs in PDE: a survey
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem
- Calculating proofs on a computer in studies of the properties of linear mappings in finite-dimensional spaces
- scientific article; zbMATH DE number 67122 (Why is no real title available?)
- Validated bounds on embedding constants for Sobolev space Banach algebras
- A random hierarchical lattice: the series-parallel graph and its properties
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4948707)
