Pages that link to "Item:Q411424"
From MaRDI portal
The following pages link to Solvers for the verified solution of parametric linear systems (Q411424):
Displaying 12 items.
- High performance verified computing using C-XSC (Q382427) (← links)
- A method of obtaining verified solutions for linear systems suited for Java (Q861896) (← links)
- Solving over-constrained systems of non-linear interval equations -- and its robotic application (Q1740041) (← links)
- On preconditioning and solving an extended class of interval parametric linear systems (Q2041516) (← links)
- An efficient approach to solve very large dense linear systems with verified computing on clusters (Q2948101) (← links)
- (Q3585623) (← links)
- (Q4321536) (← links)
- Parsimonious, Simulation Based Verification of Linear Systems (Q4633548) (← links)
- (Q4851622) (← links)
- Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics (Q5244700) (← links)
- Parallel Processing and Applied Mathematics (Q5307366) (← links)
- An extension of the \(\alpha\mathrm{BB}\)-type underestimation to linear parametric Hessian matrices (Q5964239) (← links)