English
Related papers

Related papers: Comments on finite termination of the generalized …

200 papers

We study nominal anti-unification, which is concerned with computing least general generalizations for given terms-in-context. In general, the problem does not have a least general solution, but if the set of atoms permitted in…

Logic in Computer Science · Computer Science 2025-05-01 Alexander Baumgartner , Temur Kutsia , Jordi Levy , Mateu Villaret

A local convergence analysis of the Gauss-Newton method for solving injective-overdetermined systems of nonlinear equations under a majorant condition is provided. The convergence as well as results on its rate are established without a…

Optimization and Control · Mathematics 2013-03-21 Max Leandro Nobre Goncalves

In a recent study, Ansary (Optim Methods Softw 38(3):570-590,2023) proposed a Newton-type proximal gradient method for nonlinear multiobjective optimization problems (NPGMO). However, the favorable convergence properties typically…

Optimization and Control · Mathematics 2023-08-22 Jian Chen , Xiaoxue Jiang , Liping Tang , Xinmin Yang

This paper concerns developing a numerical method of the Newton type to solve systems of nonlinear equations described by nonsmooth continuous functions. We propose and justify a new generalized Newton algorithm based on graphical…

Optimization and Control · Mathematics 2010-09-03 T. Hoheisel , C. Kanzow , B. S. Mordukhovich , H. Phan

An iterative formula based on Newton Method alone is presented for the iterative solutions of equations that ensures convergence in cases where the traditional Newton Method may fail to converge to the desired root. In addition, the method…

Numerical Analysis · Mathematics 2012-10-30 Ababu Teklemariam Tiruneh

Newton-type methods enjoy fast local convergence and strong empirical performance, but achieving global guarantees comparable to first-order methods remains challenging. Even for simple strongly convex problems, no straightforward variant…

Numerical Analysis · Mathematics 2025-10-20 Alexander Lim , Fred Roosta

To our knowledge, the error and perturbation bounds of the general absolute value equations are not discussed. In order to fill in this study gap, in this paper, by introducing a class of absolute value functions, we study the error and…

Numerical Analysis · Mathematics 2024-04-18 Shi-Liang Wu , Cui-Xia Li

We investigate the use of piecewise linear systems, whose coefficient matrix is a piecewise constant function of the solution itself. Such systems arise, for example, from the numerical solution of linear complementarity problems and in the…

Numerical Analysis · Mathematics 2012-06-21 Luigi Brugnano , Alessandra Sestini

The Total Least Squares solution of an overdetermined, approximate linear equation $Ax \approx b$ minimizes a nonlinear function which characterizes the backward error. We show that a globally convergent variant of the Gauss--Newton…

Numerical Analysis · Mathematics 2019-11-01 Dario Fasino , Antonio Fazzi

We present a method to solve a special class of parameter identification problems for an elliptic optimal control problem to global optimality. The bilevel problem is reformulated via the optimal-value function of the lower-level problem.…

Optimization and Control · Mathematics 2022-03-02 Markus Friedemann , Felix Harder , Gerd Wachsmuth

We consider fourth order singularly perturbed eigenvalue problems in one-dimension and the approximation of their solution by the $h$ version of the Finite Element Method (FEM). In particular, we use piecewise Hermite polynomials of degree…

Numerical Analysis · Mathematics 2021-07-15 Hans-Görg Roos , Despo Savvidou , Christos Xenophontos

We introduce an efficient way, called Newton algorithm, to study arbitrary ideals in C[[x,y]], using a finite succession of Newton polygons. We codify most of the data of the algorithm in a useful combinatorial object, the Newton tree. For…

Algebraic Geometry · Mathematics 2014-02-26 Pierrette Cassou-Noguès , Willem Veys

The proximal generalized alternating direction method of multipliers (p-GADMM) is substantially efficient for solving convex composite programming problems of high-dimensional to moderate accuracy. The global convergence of this method was…

Optimization and Control · Mathematics 2022-08-19 Han Wang , Yunhai Xiao

In this paper we study the Newton's method for finding a singularity of a differentiable vector field defined on a Riemannian manifold. Under the assumption of invertibility of covariant derivative of the vector field at its singularity, we…

Optimization and Control · Mathematics 2016-11-15 Teles A. Fernandes , Orizon P. Ferreira , Yuan J. Yun

Deep neural networks (DNNs) have shown great success in many machine learning tasks. Their training is challenging since the loss surface of the network architecture is generally non-convex, or even non-smooth. How and under what…

Machine Learning · Computer Science 2022-02-09 Lam M. Nguyen , Trang H. Tran , Marten van Dijk

Leveraging a recently proposed notion of relative entropy in general probabilistic theories (GPT), we prove a finite de Finetti representation theorem for general convex bodies. We apply this result to address a fundamental question in…

Optimization and Control · Mathematics 2026-01-22 Julius A. Zeiss , Gereon Koßmann , René Schwonnek , Martin Plávala

A numerical method for the solution of the elliptic Monge-Ampere Partial Differential Equation, with boundary conditions corresponding to the Optimal Transportation (OT) problem is presented. A local representation of the OT boundary…

Numerical Analysis · Mathematics 2012-08-27 Jean-David Benamou , Brittany D. Froese , Adam M. Oberman

A damped Newton's method to find a singularity of a vector field in Riemannian setting is presented with global convergence study. It is ensured that the sequence generated by the proposed method reduces to a sequence generated by the…

Optimization and Control · Mathematics 2018-07-20 M. A. A. Bortoloti , T. A. Fernandes , O. P. Ferreira , Jinyun Yuan

Let $S$ be a real $n\times n$ matrix, $z,\hat c\in \mathbb R^n$, and $| z|$ the componentwise modulus of $z$. Then the piecewise linear equation system $$z-S| z| = \hat c$$ is called an \textit{absolute value equation} (AVE). It has been…

Optimization and Control · Mathematics 2016-11-30 Manuel Radons

We consider parametrized systems of generalized polynomial equations (with real exponents) in $n$ positive variables, involving $m$ monomials with positive parameters; that is, $x\in\mathbb{R}^n_>$ such that ${A \, (c \circ x^B)=0}$ with…

Algebraic Geometry · Mathematics 2026-05-29 Abhishek Deshpande , Stefan Müller