On computer-assisted proofs for solutions of linear complementarity problems

DOI10.1016/j.cam.2005.08.031zbMath1108.65068OpenAlexW2086228750MaRDI QIDQ861881

Uwe Schäfer

Publication date: 2 February 2007

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cam.2005.08.031

zbMATH Keywords

linear complementarity probleminterval arithmeticexistence testsLemke algorithm

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Complementarity and equilibrium problems and variational inequalities (finite dimensions) (aspects of mathematical programming) (90C33) Interval and finite arithmetic (65G30)

Cites Work

• A unified approach to interior point algorithms for linear complementarity problems: A summary
• Numerical validation of solutions of linear complementarity problems
• A comparison of the Moore and Miranda existence tests
• AN ENCLOSURE METHOD FOR FREE BOUNDARY PROBLEMS BASED ON A LINEAR COMPLEMENTARITY PROBLEM WITH INTERVAL DATA^*
• Newton's Method for B-Differentiable Equations
• A Simple Test for Accuracy of Approximate Solutions to Nonlinear (or Linear) Systems
• A Test for Existence of Solutions to Nonlinear Systems
• Engineering and Economic Applications of Complementarity Problems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item