Pages that link to "Item:Q1184703"
From MaRDI portal
The following pages link to On the solution of interval linear systems (Q1184703):
Displayed 14 items.
- A numerical verification method for two-coupled elliptic partial differential equations (Q849177) (← links)
- Direct methods for linear systems with inexact input data (Q849179) (← links)
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem (Q849191) (← links)
- On regular and singular interval systems (Q861875) (← links)
- Interval finite elements as a basis for generalized models of uncertainty in engineering mechanics (Q868686) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- Solving interval linear systems with linear programming techniques (Q1808960) (← links)
- Epsilon-inflation in verification algorithms (Q1900758) (← links)
- Epsilon-inflation with contractive interval functions (Q1979002) (← links)
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid (Q2378271) (← links)
- Efficient interval partitioning-local search collaboration for constraint satisfaction (Q2459380) (← links)
- Fast inclusion of interval matrix multiplication (Q2484077) (← links)
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness (Q4265782) (← links)
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems (Q5929746) (← links)