Pages that link to "Item:Q2174959"

The following pages link to Some improvements of invertibility verifications for second-order linear elliptic operators (Q2174959):

Displaying 8 items.

• An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
• Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems (Q2074125) (← links)
• Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← links)
• Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation (Q2257618) (← links)
• Some considerations of the invertibility verifications for linear elliptic operators (Q2352136) (← links)
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems (Q2487204) (← links)
• Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces (Q6101884) (← links)
• Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems (Q6103996) (← links)