Related papers: A constructive approach towards the Method of Solu…
In this paper, we continue the study of linear sets with complementary weights. We find criteria to determine the set of points of any fixed weight and use this to present particular linear sets with few points of weight more than one. We…
We present an application of elimination theory to the study of singularities over arbitrary fields, particularly to the open problem of resolution. A partial extension of a function, defining resolution of singularities over fields of…
Enlarging on Parts I and II we write more equations in the desired format of the extended abstract theory of composites. We focus on a multitude of full dynamic equations, including equations where the medium is moving or otherwise changing…
A $p$-Laplacian elliptic problem in the presence of both strongly singular and $(p-1)$-superlinear nonlinearities is considered. We employ bifurcation theory, approximation techniques and sub-supersolution method to establish the existence…
In this paper, we study a general Syracuse problem. We give some necessary conditions concerning the existence of eventual non trivial cycles. Some properties based on linear logarithmic forms are established. New general conjectures are…
We study a boundary-value quasilinear elliptic problem on a generic time scale. Making use of the fixed-point index theory, sufficient conditions are given to obtain existence, multiplicity, and infinite solvability of positive solutions.
A fairly general continuation theorem of Leray-Schauder type for the class of so-called admissible multimaps is set forth. This result is then used to establish a universal rule for solving operator inclusions of Hammerstein type in…
We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin. One level is given by an intensional type theory, called Minimal type theory. This theory extends the set-theoretic version…
In this paper we address the stable numerical solution of nonlinear ill-posed systems by a trust-region method. We show that an appropriate choice of the trust-region radius gives rise to a procedure that has the potential to approach a…
In this paper, we study the generalized Douglas-Rachford algorithm and its cyclic variants which include many projection-type methods such as the classical Douglas-Rachford algorithm and the alternating projection algorithm. Specifically,…
We propose a trust-region type method for a class of nonsmooth nonconvex optimization problems where the objective function is a summation of a (probably nonconvex) smooth function and a (probably nonsmooth) convex function. The model…
We present new criteria on the existence of fixed points that combine some monotonicity assumptions with the classical fixed point index theory. As an illustrative application, we use our theoretical results to prove the existence of…
This paper presents several independence results concerning the topos-valid and the intuitionistic (generalized) predicative theories of locales. In particular, certain consequences of the consistency of a general form of Troelstra's…
The paper presents a new proof of O'Cinneide's characterization theorem. It is much simpler than the original one and constructive in the sense that we not only show the existence of a phase type representation, but present a procedure…
We construct standard resolutions for analytic local modules on complex hypersurfaces using standard basis methods, with extensions to complete intersections. The algebraic version over arbitrary infinite fields is also suggested.…
We give improved lower bounds for the number of solutions of some $S$-unit equations over the integers, by counting the solutions of some associated linear equations as the coefficients in those equations vary over sparse sets. This method…
In this paper, using the similarity method, we construct particular solutions with singularities for degenerate high-order equations. The considered equations have singularities of the first and second kind. Particular solutions are…
An overview of the accomplishments of constructive quantum field theory is provided.
Motivated by the theory of self-duality which provides a variational formulation and resolution for non self-adjoint partial differential equations \cite{G1, G2}, we propose new templates for solving large non-symmetric linear systems. The…
By linking conceptual theories with observed data, generative models can support reasoning in complex situations. They have come to play a central role both within and beyond statistics, providing the basis for power analysis in molecular…