Information for "Numerical verification method for infinite dimensional eigenvalue problems"

Basic information

Display title	Numerical verification method for infinite dimensional eigenvalue problems
Default sort key	Numerical verification method for infinite dimensional eigenvalue problems
Page length (in bytes)	15
Namespace ID	0
Page ID	8882770
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	1
Counted as a content page	Yes
Page views in the past month	0
MaRDI portal item ID	Q849194

Page protection

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

View the protection log for this page.

Edit history

Page creator	Import240129110113 (talk \| contribs)
Date of page creation	15:40, 30 January 2024
Latest editor	AllProfilePages260409040437 (talk \| contribs)
Date of latest edit	00:22, 12 April 2026
Total number of edits	2
Recent number of edits (within past 90 days)	1
Recent number of distinct authors	1

Page properties

Transcluded templates (20)	Pages included on this page: Template:Badge (view source) Template:BadgeSimple (view source) Template:Badges/styles.css (view source) Template:DeepChat (view source) Template:ItemCards/styles.css (view source) Template:ItemLink (view source) Template:Publication (view source) Template:Publication/styles.css (view source) Template:ReportABug (view source) Module:BacklinksList (view source) Module:HelperMethods (view source) Module:HelperStrConverter (view source) Module:PublicationCitesWork (view source) Module:PublicationJournalEntry (view source) Module:PublicationKeywordList (view source) Module:PublicationMSCList (view source) Module:PublicationRecommendedItems (view source) Module:PublicationShowAbstract (view source) Module:Wd (view source) Module:Wd/i18n (view source)
MaRDI portal entities used in this page	published in Miscellaneous (e.g. entity existence) Label: en full work available at URL Miscellaneous (e.g. entity existence) Label: en Mathematics Subject Classification ID Miscellaneous (e.g. entity existence) Label: en publication date Miscellaneous (e.g. entity existence) Label: en Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems Title Label: en An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces Title A numerical method to verify the elliptic eigenvalue problems including a uniqueness property Title Label: en Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators Label: en Title A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid Title Label: en Japan Journal of Industrial and Applied Mathematics Label: en Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element Title Label: en Methods for computing lower bounds to eigenvalues of self-adjoint operators Title Label: en Some improvements of invertibility verifications for second-order linear elliptic operators Title Numerical verifications for eigenvalues of second-order elliptic operators Title Label: en An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space Title Some considerations of the invertibility verifications for linear elliptic operators Title A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem Title NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS Label: en Title A numerical approach to the proof of existence of solutions for elliptic problems II Title Label: en Q3350724 Label: en Label: mul Title A numerical approach to the proof of existence of solutions for elliptic problems Title Label: en Q3470840 Title A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow Title Label: en Q3666156 Title Q3806763 Title A Procedure for Estimating Eigenvalues Label: en Title Q3996943 Title An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness Title Label: en Q4321540 Title A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile Title Label: en VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS Title Label: en A numerical verification method for a system of FitzHugh-Nagumo type Title Computer assisted proofs for spectral problems Label: en Title Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces Label: en Title An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems Title Label: en Computational error bounds for multiple or nearly multiple eigenvalues Title Label: en Verified numerical computations for an inverse elliptic eigenvalue problem with finite data Title Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces Title Kaori Nagatou Label: en Title Numerical verification method for infinite dimensional eigenvalue problems Title Miscellaneous (e.g. entity existence) Label: en Some statements Sitelink Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method Title Label: en