Related papers: A variation of Gronwall's lemma

A version of Jonsson's theorem, as previously generalized, holds in non-modular varieties.

We describe a variant of resolution rule of proof and show that it is complete for stable semantics of logic programs. We show applications of this result.

We prove an explicit Chinese Remainder Theorem for one variable polynomials with complex coefficients, and derive some consequences.

In this short communication, we present a generalization of the Ekeland variational principle. The main result is established through standard tools of functional analysis and calculus of variations. The novelty here is a result involving…

Theory of $n$-complements with applications is presented.

A rephrasing of Vogt's and Skof's version of the Ulam-Mazur theorem as a definability statement.

In this paper we present a short and elementary proof for the error in Simpson's rule.

We correct an inaccuracy in the original proof

We study a weighted version of Carleman's inequality via Carleman's original approach. As an application of our result, we prove a conjecture of Bennett.

We observe that Whitehead's lemma is an immediate consequence of Stallings folds.

In this note I provide two extensions of a particular case of the classical Poncelet theorem.

A multivariate Gauss-Lucas theorem is proved, sharpening and generalizing previous results on this topic. The theorem is stated in terms of a seemingly new notion of convexity. Applications to multivariate stable polynomials are given.

We suggest an alternative proof of a theorem due to Lambek and Moser using a perceptible model.

A short, fairly self-contained proof is given of the Poincar\'e Conjecture. In the previous version there was an error on Page 8. This gap has now been filled.

We give an undergraduate short and simple proof for Zariski's lemma.

In this note we prove a more general (and topological) version of Gr\"unbaum's conjecture about affine invariant points. As an application of our result we show that, if we consider the action of the group of similarities, Gr\"unbaum's…

We prove some statements of left- and right-continuous variants of generalized inverses of non-decreasing real functions.

This note presents a proof of P\'olya's random walk theorem using classical methods from special function theory and asymptotic analysis.

Upon re-examining Arnold's established lemma for explaining his famous limit problem, we have determined that while the lemma itself is correct, there is a defect in the original geometric proof. In this paper, we prove the correctness of…

We prove the Invariant Subspace Conjecture for separable Hilbert spaces.