On computer-assisted proofs for solutions of linear complementarity problems |
| |
Authors: | Uwe Schä fer |
| |
Affiliation: | Institut für Angewandte Mathematik, Universität Karlsruhe, D-76128 Karlsruhe, Germany |
| |
Abstract: | In this paper we consider the linear complementarity problem where the components of the input data M and q are not exactly known but can be enclosed in intervals. We compare three tests to each other each of which can be used by a computer that supports interval arithmetic to give guaranteed bounds for a solution of the LCP defined by M and q. |
| |
Keywords: | Linear complementarity problem Existence tests Lemke algorithm |
本文献已被 ScienceDirect 等数据库收录! |