Related papers: Une version effective du th\'eor\`eme de Lindemann…

We prove an analogue of the Lindemann-Weierstrass theorem (that the exponentials of Q-linearly independent algebraic numbers are algebraically independent) for commutative algebraic groups G without unipotent quotients, over function…

The famous result of Lindemann and Weierstrass says that if $a_{1},a_{2},\ldots,a_{n}$ are distinct algebraic numbers, then $e^{a_{1}},e^{a_{2}},\ldots,e^{a_{n}}$ are linearly independent complex numbers over the field…

$E$-functions were introduced by Siegel in 1929 to generalize Diophantine properties of the exponential function. After developments of Siegel's methods by Shidlovskii, Nesterenko and Andr\'e, Beukers proved in 2006 an optimal result on the…

We present a self-contained development of the Weierstrass theory of those analytic functions (single-valued or multiform) which admit an algebraic addition theorem. We review the history of the theory and present detailed proofs of the…

Using the same heuristic argument leading to the Lang-Waldschmidt Conjecture in the theory of linear forms in logarithms, we formulate an effective version of the Linear Independence conjecture for the ordinates of the non-trivial zeros of…

We prove a new general multiplicity estimate applicable to sets of functions without any assumption on algebraic independence. The multiplicity estimates are commonly used in determining measures of algebraic independence of values of…

In this paper we construct an entire function of two variables having the property that its values and its partial derivatives of any order at any distinct algebraic points are algebraically independent. Such an entire function is generated…

This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete…

An technically interesting proof of a known theorem.

We prove a weighted analogue of the Khintchine-Groshev Theorem, where the distance to the nearest integer is replaced by the absolute value. This is subsequently applied to proving the optimality of several linear independence criteria over…

For a lattice \Lambda in the complex plane, let K_{\Lambda} be the field of \Lambda-elliptic functions. For two relatively prime integers p (respectively q) greater than 1, consider the endomorphisms \psi (resp. \phi) of K_{\Lambda} given…

This is a literal word-for-word translation from the French of Phragmen's proof (the first such published) of Weierstrass' famous theorem characterizing all analytic functions which possess an algebraic addition theorem.

I propose a proof of the existence of the existence of eigenvectors and eigenvalues in the spirit of Argand's proof of the fundamental theorem of algebra. The proof only relies on Weierstrass's theorem, the definition of the inverse of a…

We provide an abstract multivariate central limit theorem with the Lindeberg-type error bounded in terms of Lipschitz functions (Wasserstein 1-distance) or functions with bounded second or third derivatives. The result is proved by means of…

We give conditions on a finite set of series of rational numbers to ensure that they are algebraically independent. Specialising our results to polynomials of lower degree, we also obtain new results on irrationality and $mathbb{Q}$-linear…

In this note we prove algebraic independence results for the values of a special class of Mahler functions. In particular, the generating functions of Thue-Morse, regular paperfolding and Cantor sequences belong to this class, and we obtain…

We consider a linear regression model and propose an omnibus test to simultaneously check the assumption of independence between the error and the predictor variables, and the goodness-of-fit of the parametric model. Our approach is based…

We construct a complex entire function with arbitrary number of variables which has the following property: The infinite set consisting of all the values of all its partial derivatives of any orders at all algebraic points, including zero…

We propose an estimator of the Hilbert-Schmidt Independence Criterion obtained from an appropriate modification of the usual estimator. We then get asymptotic normality of this estimator both under independence hypothesis and under the…

In this paper we use the Vandermonde matrices and their properties to give a new proof of the classical result of Karl Weierstrass about the approximation of continuous functions $f$ on closed intervals, using a sequence of polynomials. The…