Alefeld, Götz ;
Wang, Zhengyu
Verification of Solutions for Almost Linear Complementarity Problems
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.
BibTeX - Entry
@InProceedings{alefeld_et_al:DSP:2006:443,
author = {G{\"o}tz Alefeld and Zhengyu Wang},
title = {Verification of Solutions for Almost Linear Complementarity Problems},
booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs},
year = {2006},
editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump},
number = {05391},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2006/443},
annote = {Keywords: Complementarity problems, verification of solutions}
}
|
Keywords: |
|
Complementarity problems, verification of solutions |
|
Seminar: |
|
05391 - Algebraic and Numerical Algorithms and Computer-assisted Proofs
|
|
Issue date: |
|
2006 |
|
Date of publication: |
|
31.01.2006 |
31.01.2006
