Pages that link to "Item:Q861881"
From MaRDI portal
The following pages link to On computer-assisted proofs for solutions of linear complementarity problems (Q861881):
Displaying 4 items.
- The linear complementarity problem with interval data (Q2738494) (← links)
- Calculating proofs on a computer in studies of the properties of linear mappings in finite-dimensional spaces (Q3795214) (← links)
- (Q5376649) (← links)
- Verification for existence of solutions of linear complementarity problems (Q5929743) (← links)