An Overview of Absolute Value Equations: From Theory to Solution Methods and Challenges

M Hladík, H Moosaei, F Hashemi, S Ketabchi… - arxiv preprint arxiv …, 2024 - arxiv.org
This paper provides a thorough exploration of the absolute value equations $ Ax-| x|= b $, a
seemingly straightforward concept that has gained heightened attention in recent years. It is …

[PS][PS] Interval linear programming: A survey

M Hladık - Linear programming-new frontiers in theory and …, 2012 - kam.mff.cuni.cz
Uncertainty is a common phenomenon in practice. Due to measurement errors we can
hardly expect precise values in real-life linear programming problems. Using estimated …

Interval linear systems as a necessary step in fuzzy linear systems

WA Lodwick, D Dubois - Fuzzy sets and systems, 2015 - Elsevier
This article clarifies what it means to solve a system of fuzzy linear equations, relying on the
fact that they are a direct extension of interval linear systems of equations, already studied in …

A note on absolute value equations

SL Hu, ZH Huang - Optimization Letters, 2010 - Springer
A note on absolute value equations Page 1 Optim Lett (2010) 4:417–424 DOI 10.1007/s11590-009-0169-y
ORIGINAL PAPER A note on absolute value equations Sheng-Long Hu · Zheng-Hai Huang …

Weak and strong solvability of interval linear systems of equations and inequalities

M Hladı - Linear Algebra and its Applications, 2013 - Elsevier
We consider weak and strong solvability of general interval linear systems consisting of
mixed equations and inequalities with mixed free and sign-restricted variables. We …

Abstract acceleration of general linear loops

B Jeannet, P Schrammel… - Proceedings of the 41st …, 2014 - dl.acm.org
We present abstract acceleration techniques for computing loop invariants for numerical
programs with linear assignments and conditionals. Whereas abstract interpretation …

A sound floating-point polyhedra abstract domain

L Chen, A Miné, P Cousot - Asian Symposium on Programming …, 2008 - Springer
The polyhedra abstract domain is one of the most powerful and commonly used numerical
abstract domains in the field of static program analysis based on abstract interpretation. In …

How to determine basis stability in interval linear programming

M Hladík - Optimization Letters, 2014 - Springer
Interval linear programming (ILP) was introduced in order to deal with linear programming
problems with uncertainties that are modelled by ranges of admissible values. Basic tasks in …

Numerical comparisons based on four smoothing functions for absolute value equation

B Saheya, CH Yu, JS Chen - Journal of Applied Mathematics and …, 2018 - Springer
The system of absolute value equation, denoted by AVE, is a non-differentiable NP-hard
problem. Many approaches have been proposed during the past decade and most of them …

Unified smoothing functions for absolute value equation associated with second-order cone

CT Nguyen, B Saheya, YL Chang, JS Chen - Applied Numerical …, 2019 - Elsevier
In this paper, we explore a unified way to construct smoothing functions for solving the
absolute value equation associated with second-order cone (SOCAVE). Numerical …