On computer-assisted proofs for solutions of linear complementarity problems

DOI10.1016/J.CAM.2005.08.031MaRDI QIDQ861881zbMATH OpenOpenAlexFDO

Authors 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

existence testsinterval arithmeticLemke algorithmlinear complementarity problem

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1639668
• scientific article; zbMATH DE number 2145258
• Validation and enclosure of solutions of linear complementarity problems
• Enclosing solutions of linear complementarity problems for H-matrices
• Numerical validation of solutions of linear complementarity problems

Cites work

• A comparison of the Moore and Miranda existence tests
• A Simple Test for Accuracy of Approximate Solutions to Nonlinear (or Linear) Systems
• A Test for Existence of Solutions to Nonlinear Systems
• A unified approach to interior point algorithms for linear complementarity problems: A summary
• AN ENCLOSURE METHOD FOR FREE BOUNDARY PROBLEMS BASED ON A LINEAR COMPLEMENTARITY PROBLEM WITH INTERVAL DATA^*
• Engineering and Economic Applications of Complementarity Problems
• scientific article; zbMATH DE number 3880009 (Why is no real title available?)
• scientific article; zbMATH DE number 50026 (Why is no real title available?)
• scientific article; zbMATH DE number 53115 (Why is no real title available?)
• scientific article; zbMATH DE number 192986 (Why is no real title available?)
• scientific article; zbMATH DE number 1258153 (Why is no real title available?)
• Newton's Method for B-Differentiable Equations
• Numerical validation of solutions of linear complementarity problems

Cited in

(5)

• scientific article; zbMATH DE number 1639668 (Why is no real title available?)
• Calculating proofs on a computer in studies of the properties of linear mappings in finite-dimensional spaces
• scientific article; zbMATH DE number 2145258 (Why is no real title available?)
• scientific article; zbMATH DE number 7056222 (Why is no real title available?)
• Verification for existence of solutions of linear complementarity problems

This page was built for publication: On computer-assisted proofs for solutions of linear complementarity problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861881)