On the public citation graph

Numerical verification method for infinite dimensional eigenvalue problems

https://doi.org/10.1007/bf03186545
0 signed · 36 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/zamm.200310093openalex-snapshot
A computer‐assisted instability proof for the Orr‐Sommerfeld equation with Blasius profile
inferredcites →https://doi.org/10.1002/zamm.200700158openalex-snapshot
A computer‐assisted instability proof for the Orr‐Sommerfeld problem with Poiseuille flow
inferredcites →https://doi.org/10.1007/bf00945108openalex-snapshot
Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
inferredcites →https://doi.org/10.1007/bf03167360openalex-snapshot
Numerical verifications for eigenvalues of second-order elliptic operators
inferredcites →https://doi.org/10.1007/bf03167855openalex-snapshot
A numerical approach to the proof of existence of solutions for elliptic problems II
inferredcites →https://doi.org/10.1007/bf03167877openalex-snapshot
A numerical approach to the proof of existence of solutions for elliptic problems
inferredcites →https://doi.org/10.1007/s002110050164openalex-snapshot
Methods for computing lower bounds to eigenvalues of self-adjoint operators
inferredcites →https://doi.org/10.1007/s006070050054openalex-snapshot
A Numerical Method to Verify the Elliptic Eigenvalue Problems Including a Uniqueness Property
inferredcites →https://doi.org/10.1016/0022-247x(92)90067-nopenalex-snapshot
Explicit H2-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems
inferredcites →https://doi.org/10.1016/0377-0427(94)00096-jopenalex-snapshot
Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
inferredcites →https://doi.org/10.1016/j.cam.2003.10.016openalex-snapshot
A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
inferredcites →https://doi.org/10.1016/s0024-3795(00)00127-0openalex-snapshot
An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
inferredcites →https://doi.org/10.1016/s0024-3795(00)00195-6openalex-snapshot
Self-validating methods
inferredcites →https://doi.org/10.1016/s0024-3795(00)00279-2openalex-snapshot
Computational error bounds for multiple or nearly multiple eigenvalues
inferredcites →https://doi.org/10.1016/s0377-0427(02)00431-4openalex-snapshot
Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
inferredcites →https://doi.org/10.1016/s1570-579x(13)60003-8openalex-snapshot
Studies in Computational Mathematics 9
inferredcites →https://doi.org/10.1063/1.1724246openalex-snapshot
A Procedure for Estimating Eigenvalues
inferredcites →https://doi.org/10.1080/01630569908816910openalex-snapshot
An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
inferredcites →https://doi.org/10.1081/nfa-100105107openalex-snapshot
NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
inferredcites →https://doi.org/10.1081/nfa-120014756openalex-snapshot
VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
inferredcites →https://doi.org/10.1137/1.9781611970678openalex-snapshot
Spectral Approximation of Linear Operators
inferredcites →https://doi.org/10.1137/1.9781611972030openalex-snapshot
Elliptic Problems in Nonsmooth Domains
inferredcites →https://doi.org/10.1143/jpsj.4.334openalex-snapshot
On the Upper and Lower Bounds of Eigenvalues
inferredcites →https://doi.org/10.1587/nolta.2.123openalex-snapshot
A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow
inferredcites →https://doi.org/10.2307/2938727openalex-snapshot
Finite Element Approximation of Variational Problems and Applications.

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/s10915-023-02097-6openalex-snapshot
Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces
inferred← citeshttps://doi.org/10.1007/s13160-014-0160-6openalex-snapshot
Some considerations of the invertibility verifications for linear elliptic operators
inferred← citeshttps://doi.org/10.1007/s13160-015-0167-7openalex-snapshot
A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem
inferred← citeshttps://doi.org/10.1007/s13160-019-00344-8openalex-snapshot
An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
inferred← citeshttps://doi.org/10.1016/j.apnum.2020.03.016openalex-snapshot
Some improvements of invertibility verifications for second-order linear elliptic operators
inferred← citeshttps://doi.org/10.1016/j.jde.2018.10.027openalex-snapshot
An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
inferred← citeshttps://doi.org/10.1080/01630563.2012.677918openalex-snapshot
A Numerical Verification Method for a System of FitzHugh-Nagumo Type
inferred← citeshttps://doi.org/10.1137/120894683openalex-snapshot
Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
inferred← citeshttps://doi.org/10.1587/nolta.2.111openalex-snapshot
An enclosure method for complex eigenvalues of ordinary differential operators
inferred← citeshttps://doi.org/10.1587/nolta.2.2openalex-snapshot
Numerical verification methods for solutions of semilinear elliptic boundary value problems
inferred← citeshttps://doi.org/10.17771/pucrio.acad.56470openalex-snapshot
UM MÉTODO DE CONTINUAÇÃO ESTRUTURADO PARA PROBLEMAS COM MÚLTIPLAS SOLUÇÕES
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.