in this paper, a vector version of the intermediate value theorem is established. the main theorem of this article can be considered as an improvement of the main results have been appeared in [textit{on fixed point theorems for monotone increasing vector valued mappings via scalarizing}, positivity, 19 (2) (2015) 333-340] with containing the uniqueness, convergent of each iteration to the fixe...

In this paper, we prove some properties of algebraic cone metric spaces and introduce the notion of algebraic distance in an algebraic cone metric space. As an application, we obtain some famous fixed point results in the framework of this algebraic distance.

We get an interrelation between an algebraic closure system and its conjugated interior system. We introduce the concept of algebraic interior system and we get its representation.

The properties of a simple and natural notion of observational equivalence of algebras and the corresponding specification-building operation are studied. We begin with a defmition of observational equivalence which is adequate to handle reachable algebras only, and show how to extend it to cope with unreachable algebras and also how it may be generalised to make sense under an arbitrary instit...

We formulate a general institution-independent (i.e. independent of the details of the actual logic formalised as institution) version of the Craig Interpolation Theorem and prove it in dependence of Birkhoff-style axiomatizability properties of the actual logic. We formalise Birkhoff-style axiomatizability within the general abstract model theoretic framework of institution theory by the novel...

We construct the algebra of integro-differential operators over an ordinary integro-differential algebra directly in terms of normal forms. In the case of polynomial coefficients, we use skew polynomials for defining the integro-differential Weyl algebra as a natural extension of the classical Weyl algebra in one variable. Its normal forms, algebraic properties and its relation to the localizat...

In this paper, a new model based on differential-algebraic equations(DAEs) for solving convex quadratic programming(CQP) problems is proposed. It is proved that the new approach is guaranteed to generate optimal solutions for this class of optimization problems. This paper also shows that the conventional interior point methods for solving (CQP) problems can be viewed as a special case of the n...

‎in this paper‎, ‎we consider an inverse boundary value problem for two-dimensional heat equation in an annular domain‎. ‎this problem consists of determining the temperature on the interior boundary curve from the cauchy data (boundary temperature and heat flux) on the exterior boundary curve‎. ‎to this end‎, ‎the boundary integral equation method is used‎. ‎since the resulting system of linea...

In this paper, a vector version of the intermediate value theorem is established. The main theorem of this article can be considered as an improvement of the main results have been appeared in [textit{On fixed point theorems for monotone increasing vector valued mappings via scalarizing}, Positivity, 19 (2) (2015) 333-340] with containing the uniqueness, convergent of each iteration to the fixe...

in this paper‎, ‎we study some properties of analytic extension of a $n$th roots of $m$-hyponormal operator‎. ‎we show that every analytic extension of a $n$th roots of $m$-hyponormal operator is subscalar of order $2k+2n$‎. ‎as a consequence‎, ‎we get that if the spectrum of such operator $t$ has a nonempty interior in $mathbb{c}$‎, ‎then $t$ has a nontrivial invariant subspace‎. ‎finally‎, ‎w...