DagSemProc.05391.9.pdf
- Filesize: 193 kB
- 21 pages
Document
Verification of Solutions for Almost Linear Complementarity Problems
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 5391
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2006-01-31
Cite AsGet BibTex
Götz Alefeld and Zhengyu Wang. Verification of Solutions for Almost Linear Complementarity Problems. In Algebraic and Numerical Algorithms and Computer-assisted Proofs. Dagstuhl Seminar Proceedings, Volume 5391, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.05391.9
https://doi.org/10.4230/DagSemProc.05391.9
Abstract
We present a computational enclosure method for the solution of a class of nonlinear complementarity problems.
The procedure also delivers a proof for the uniqueness of the solution.
Keywords
- Complementarity problems
- verification of solutions
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads