Related papers: Computing basis of solutions of any Mahler equatio…
Many articles have recently been devoted to Mahler equations, partly because of their links with other branches of mathematics such as automata theory. Hahn series (a generalization of the Puiseux series allowing arbitrary exponents of the…
Mahler equations relate evaluations of the same function $f$ at iterated $b$th powers of the variable. They arise in particular in the study of automatic sequences and in the complexity analysis of divide-and-conquer algorithms. Recently,…
Though Mahler equations have been introduced nearly one century ago, the study of their solutions is still a fruitful topic for research. In particular, the Galois theory of Mahler equations has been the subject of many recent papers.…
This is the first part of a work devoted to the study of linear Mahler systems in several variables from the perspective of transcendence and algebraic independence. We prove two main results concerning systems that are regular singular at…
Using Hahn series, one can attach to any linear Mahler equation a basis of solutions at 0 reminiscent of the solutions of linear differential equations at a regular singularity. We show that such a basis of solutions can be produced by…
The principal aim of this paper is to establish a purity theorem for Mahler functions that is reminiscent of famous purity theorems for G-functions by D. and G. Chudnovsky and for E-functions (and, more generally, for holonomic arithmetic…
This paper is concerned with Mahler's method. We study in detail the structure of linear relations between values of Mahler functions at algebraic points. In particular, given a field ${\bf k}$, a Mahler function $f(z)\in{\bf k}\{z\}$, and…
E. Maillet proved that the set of Liouville numbers is preserved under rational functions with rational coefficients. Based on this result, a problem posed by Kurt Mahler is to investigate whether there exist entire transcendental functions…
In 1906, Maillet proved that given a non-constant rational function $f$, with rational coefficients, if $\xi$ is a Liouville number, then so is $f(\xi)$. Motivated by this fact, in 1984, Mahler raised the question about the existence of…
The Henon-Heiles system in the general form has been considered. In a nonintegrable case with the help of the Painleve test new solutions have been found as formal Laurent or Puiseux series, depending on three parameters. One of parameters…
The polynomial Ramanujan sum was first introduced by Carlitz [7], and a generalized version by Cohen [10]. In this paper, we study the arithmetical and analytic properties of these sums, derive various fundamental identities, such as H…
In this article we present a parallel modular algorithm to compute all solutions with multiplicities of a given zero-dimensional polynomial system of equations over the rationals. In fact, we compute a triangular decomposition using…
Solutions of nonlinear functional equations are generally not expressed as a finite number of combinations and compositions of elementary and known special functions. One of the approaches to study them is, firstly, to find formal solutions…
In this paper, we shall prove that any subset of $\overline{\mathbb Q}\cap B(0,1)$, which is closed under complex conjugation and which contains the element $0$, is the exceptional set of uncountably many transcendental functions, analytic…
In 1902, Paul St\"ackel constructed an analytic function $f(z)$ in a neighborhood of the origin, which was transcendental, and with the property that both $f(z)$ and its inverse, as well as its derivatives, assumed algebraic values at all…
Formal Laurent-Puiseux series are important in many branches of mathematics. This paper presents a {\it Mathematica} implementation of algorithms developed by the author for converting between certain classes of functions and their…
This work was originally published by the author in 1999 in a book [1] and later became part of the author's doctoral thesis in 1999 [2]. Since the original language of these works is not English, the author provides a translation of the…
We propose a method to compute the numerical solutions of a polynomial system in complete intersection. This algorithm makes use of Bezout matrices and need only linear algebra computations. All the calculations can be done in floating…
In 1902, P. St\"{a}ckel proved the existence of a transcendental function $f(z)$, analytic in a neighbourhood of the origin, and with the property that both $f(z)$ and its inverse function assume, in this neighbourhood, algebraic values at…
In this paper, we study the algebraic, rational and formal Puiseux series solutions of certain type of systems of autonomous ordinary differential equations. More precisely, we deal with systems which associated algebraic set is of…