Related papers: A Sum Theorem for (FPV) Operators and Normal Cones
Following ideas of V. Batyrev, we prove an analogue of the Cone Theorem for the closed cone of nef curves: an enlargement of the cone of nef curves is the closure of the sum of a K_X-non-negative portion and countably many K_X-negative…
This note provides a counterexample to a theorem announced in the last part of the paper ''Analysis of direct searches for discontinuous functions'', Mathematical Programming Vol. 133, pp.~299--325, 2012. The counterexample involves an…
We prove that the partial zeta function introduced in [9] is a rational function, generalizing Dwork's rationality theorem.
The first version of this paper gave another proof of the Kropholler Conjecture, which gives a relative version of Stallings Ends Theorem, following an earlier incorrect proof. It has been pointed out by Sam Shepherd that the the second…
We prove a new result on multiple summing operators and among other applications, we provide a new extension of Littlewood's $4/3$ inequality to $m$-linear forms.
In Noor (2007)[Muhammad Aslam Noor, New iterative schemes for nonlinear equations, Appl. Math. Comput. 187 (2007) 937-943], proposed an algorithm namely \textbf{Algorithm 2.4} and established a proof to show cubic convergence. The presented…
Wrong assumptions were made in the proof of Theorem 3.12 and Lemma 3.6. A preprint containing a correct proof for Lemma 3.6 is in preparation and will be uploaded later this month. So the results of section 3 are correct, apart from Theorem…
This comment is devoted to the paper "Exact solutions of nonlinear diffusion-convection-reaction equation: A Lie symmetry approach" (CNSNS, vol. 67 (2019), 253-263) in which several results are not new because were derived much earlier.…
In a comment by A.A. Zvyagin the phase diagram in our Letter [Phys. Rev. Lett. 86, 516 (2001)] was critisized of being incomplete and a new fixed point was suggested. We show that this point is in fact not a fixed point and that the phase…
The purpose of this erratum is to correct a mistake in the proof of Theorem 4.1 of our paper \cite{CF}.
Following F. William Lawvere, we show that many self-referential paradoxes, incompleteness theorems and fixed point theorems fall out of the same simple scheme. We demonstrate these similarities by showing how this simple scheme encompasses…
In the paper [Muhammad Aslam Noor, Khalida Inayat Noor, Three-step iterative methods for nonlinear equations, Applied Mathematics and Computation, 183 (2006), pp. 322-327 ], Authors presented an algorithm (\textbf{Algorithm 2.3}) and stated…
The aim of this paper is to establish some metrical coincidence and common fixed point theorems with an arbitrary relation under an implicit contractive condition which is general enough to cover a multitude of well known contraction…
In this paper we investigate the sums of reciprocals to an arithmetic progression taken modulo one, that is sums of $\{n\alpha-\gamma\}^{-1}$, where $\alpha$ and $\gamma$ are real parameters and $\{\,\cdot\,\}$ is the fractional part of a…
We continue the work of [5] and [3], in which are considered papers in the literature that discuss fixed point assertions in digital topology. We discuss published assertions that are incorrect or incorrectly proven; that are severely…
Top-down and bottom-up theorem proving approaches each have specific advantages and disadvantages. Bottom-up provers profit from strong redundancy control but suffer from the lack of goal-orientation, whereas top-down provers are…
This paper presents a complete formal verification of a proof that the evaluation of the Riemann zeta function at 3 is irrational, using the Coq proof assistant. This result was first presented by Ap\'ery in 1978, and the proof we have…
A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions.
The purpose of this article is to present my new proof of the the construction and the convergence theorem of spectral sequences of filtered complexes, which is much shorter and cleaner than the "standard" proof.
The purpose of this note is to give an affirmative answer to a conjecture appearing in [Integral Transforms Spec. Funct. 26 (2015) 90-95].