2026-07-18T16:47:39Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:443 2024-03-06T11:06:31Z ddc:004 open_access

Verification of Solutions for Almost Linear Complementarity Problems Alefeld, Götz Wang, Zhengyu Complementarity problems verification of solutions 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Götz Alefeld and Zhengyu Wang 2006 Is Part Of Dagstuhl Seminar Proceedings, Volume 5391, Algebraic and Numerical Algorithms and Computer-assisted Proofs (2006) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.05391.9 urn:nbn:de:0030-drops-4431 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.9 eng https://creativecommons.org/licenses/by/4.0/legalcode