Existence of fixed point in orthogonal metric spaces has been initiated recently by Eshaghi and et al. [On orthogonal sets and Banach fixed Point theorem, Fixed Point Theory, in press]. In this paper, we introduce the notion of the strongly orthogonal sets and prove a genuine generalization of Banach' fixed point theorem and Walter's theorem. Also, we give an example showing that our main theor...

This survey discuss approaches that integrate Decision Diagrams inside High Order Logic based Theorem provers. The approaches can be divided in two kinds, one is based on building a translation between model checker and theorem prover, the second is based on embedding the model checker algorithms inside the theorem prover. A comparison between both is discussed in detail. The paper also tries t...

for 12386 A Comparison Theorem of the Improving Gauss-Seidel method for H-matrix and its Comparison Matrix Authors: liying Sun, xingye xu Affiliations: Math Dept.of Guangdong Education Institute, Math Dept. of Guangdong Education Institute

to demonstrate more visibly the close relation between thecontinuity and integrability, a new proof for the banach-zareckitheorem is presented on the basis of the radon-nikodym theoremwhich emphasizes on measure-type properties of the lebesgueintegral. the banach-zarecki theorem says that a real-valuedfunction $f$ is absolutely continuous on a finite closed intervalif and only if it is continuo...

In this paper, we study the applications of conformable backward stochastic differential equations driven by Brownian motion and compensated random measure in nonlinear expectation. From comparison theorem, introduce concept g-expectation give related properties g-expectation. addition, find that can be deduced from generator g. Finally, extend Doob–Meyer decomposition theorem to more general c...

for 12386 A Comparison Theorem of the Improving Gauss-Seidel method for H-matrix and its Comparison Matrix Authors: liying Sun, xingye xu Affiliations: Math Dept.of Guangdong Education Institute, Math Dept. of Guangdong Education Institute

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...