Related papers: A refinement of a theorem by Franks
We prove that a refinement of Stark's Conjecture formulated by Rubin is true up to primes dividing the order of the Galois group, for finite, abelian extensions of function fields over finite fields. We also show that in the case of…
In this article we prove a theorem that will generalize the concurrence theorems that are leading to the Franke's point, Kariya's point, and to other remarkable points from the triangle geometry.
We prove some new results related to Tanaka's formula.
We revamp the existing theory of Euler class groups and present them in as much generality as possible. We remark on two results of Asok-Fasel and indicate some improvements.
The purpose of this paper is to present a generalization of Forelli's theorem. In particular, we prove an all dimensional version of the two-dimensional theorem of Chirka of 2005.
We combine the two fundamental fixed-order tangle theorems of Robertson and Seymour into a single theorem that implies both, in a best possible way. We show that, for every $k \in \mathbb{N}$, every tree-decomposition of a graph $G$ which…
The assumptions needed to prove Cox's Theorem are discussed and examined. Various sets of assumptions under which a Cox-style theorem can be proved are provided, although all are rather strong and, arguably, not natural.
Extending the idea in [Impagliazzo, R., Moore, C. and Russell, A., An entropic proof of Chang's inequality. SIAM Journal on Discrete Mathematics, 28(1), pp.173-176.] we give a short information theoretic proof for Chang's lemma that is…
In this paper, we will continue the investigation of Waring's problem, and give further improvements.
An technically interesting proof of a known theorem.
We modify the proof of the basic lemma of a paper of Saks and Zygmund on additive functions of rectangles.
In this paper we shall prove a sharpened version of the Finsler-Hadwiger inequality which is a strong generalization of Weitzenbock inequality. After that we give another refinement of this inequality and in the final part we provide some…
The object of this paper is to generalize a theorem on the binomial coefficient [4] to the case in an arithmetic progression. We will also give a slightly stronger result than Langevin's [2].
We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.
In this paper, by making use of one of Chen's theorems and the method of mathematical analysis, we refine Edwards-Child's inequality and solve a conjecture posed by Liu.
In this paper we show an index theorem for gerbes
We give a proof of the Marker-Steinhorn Theorem which fills a gap in previous proofs of the result.
This report presents a formalization of May's theorem in the proof assistant Coq. It describes how the theorem statement is first translated into Coq definitions, and how it is subsequently proved. Various aspects of the proof and related…
In this note we give a detailed proof of a theorem of Aubin.
We give a short proof of a theorem of J.-E. Pin (theorem 1.1 below), which can be found in his thesis. The part of the proof which is my own (not Pin's) is a complete replacement of the same part in an earlier version of this paper.