Numerical validation for systems of absolute value equations (Q1675421)

The authors consider and study a system of absolute value equations governed by linear operators in finite-dimensional spaces. Based on the Poincaré-Miranda theorem, the authors claim that they establish a numerical validation test for the solutions of the system. They also claim that the Moore-Kioustelidis theorem is generalized beyond the differentiable setting. Numerical experiments are reported.