On the public citation graph

Numerical verifications for eigenvalues of second-order elliptic operators

https://doi.org/10.1007/bf03167360
0 signed · 44 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.1006/jmaa.1997.5712openalex-snapshot
Numerical Verification of Solutions for Nonlinear Elliptic Problems Using anL∞Residual Method
inferredcites →https://doi.org/10.1007/978-1-4612-0981-2openalex-snapshot
Nonlinear Functional Analysis and its Applications
inferredcites →https://doi.org/10.1007/978-1-4612-4838-5openalex-snapshot
Nonlinear Functional Analysis and its Applications
inferredcites →https://doi.org/10.1007/978-3-7091-6918-6_13openalex-snapshot
Solving Nonlinear Elliptic Problems with Result Verification Using an H -1 Type Residual Iteration
inferredcites →https://doi.org/10.1007/bf00944567openalex-snapshot
Bounds for eigenvalues of second-order elliptic differential operators
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/bf02307379openalex-snapshot
PROFIL/BIAS—A fast interval library
inferredcites →https://doi.org/10.1007/bf03167208openalex-snapshot
Numerical verifications of solutions for nonlinear elliptic equations
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.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/0022-247x(92)90129-2openalex-snapshot
A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
inferredcites →https://doi.org/10.1016/0377-0427(94)00091-eopenalex-snapshot
Existence and enclosure results for continua of solutions of parameter-dependent nonlinear 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/b978-0-12-428660-3.50010-0openalex-snapshot
SOLVING ALGEBRAIC PROBLEMS WITH HIGH ACCURACY
inferredcites →https://doi.org/10.1137/1.9781611972030openalex-snapshot
Elliptic Problems in Nonsmooth Domains
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.1002/zamm.200310093openalex-snapshot
A computer‐assisted instability proof for the Orr‐Sommerfeld equation with Blasius profile
inferred← citeshttps://doi.org/10.1007/978-3-7091-6282-8_14openalex-snapshot
A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular Elements
inferred← citeshttps://doi.org/10.1007/978-3-7643-8773-0_5openalex-snapshot
Validated Computations for Fundamental Solutions of Linear Ordinary Differential Equations
inferred← citeshttps://doi.org/10.1007/978-981-13-7669-6_3openalex-snapshot
Infinite-Dimensional Newton-Type Method
inferred← citeshttps://doi.org/10.1007/978-981-13-7669-6_4openalex-snapshot
Applications to the Computer-Assisted Proofs in Analysis
inferred← citeshttps://doi.org/10.1007/978-981-13-7669-6_9openalex-snapshot
Other Problem Types
inferred← citeshttps://doi.org/10.1007/978-981-97-3577-8_1openalex-snapshot
Introduction to Eigenvalue Problems
inferred← citeshttps://doi.org/10.1007/978-981-97-3577-8_6openalex-snapshot
Guaranteed Eigenfunction Computation
inferred← citeshttps://doi.org/10.1007/bf03168592openalex-snapshot
Verified numerical computations for an inverse elliptic eigenvalue problem with finite data
inferred← citeshttps://doi.org/10.1007/bf03186545openalex-snapshot
Numerical verification method for infinite dimensional eigenvalue problems
inferred← citeshttps://doi.org/10.1007/s006070050054openalex-snapshot
A Numerical Method to Verify the Elliptic Eigenvalue Problems Including a Uniqueness Property
inferred← citeshttps://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
inferred← citeshttps://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
inferred← citeshttps://doi.org/10.1016/s0168-2024(01)80009-6openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s0377-0427(02)00431-4openalex-snapshot
Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
inferred← citeshttps://doi.org/10.1080/01630569908816910openalex-snapshot
An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
inferred← citeshttps://doi.org/10.1081/nfa-100105107openalex-snapshot
NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
inferred← citeshttps://doi.org/10.1081/nfa-120014756openalex-snapshot
VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
inferred← citeshttps://doi.org/10.1090/suga/419openalex-snapshot
Numerical verification for solutions to partial differential equations
inferred← citeshttps://doi.org/10.1109/scan.2006.48openalex-snapshot
Validated computation for infinite dimensional eigenvalue problems
inferred← citeshttps://doi.org/10.1137/120878446openalex-snapshot
Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape
inferred← citeshttps://doi.org/10.1137/120894683openalex-snapshot
Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
inferred← citeshttps://doi.org/10.1137/18m1189592openalex-snapshot
Guaranteed Eigenvalue Bounds for the Steklov Eigenvalue Problem
inferred← citeshttps://doi.org/10.1137/20m1326520openalex-snapshot
Computation of Tight Enclosures for Laplacian Eigenvalues
inferred← citeshttps://doi.org/10.1587/essfr.2.3_19openalex-snapshot
Numerical Verification of Solutions for Partial Differential Equations
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.3934/jcd.2020005openalex-snapshot
A functional analytic approach to validated numerics for eigenvalues of delay equations
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.