A power series being given as the solution of a linear differential equation with appropriate initial conditions, minimization consists in finding a non-trivial linear differential equation of minimal order having this power series as a solution. This problem exists in both homogeneous and inhomogeneous variants; it is distinct from, but related to, the classical problem of factorization of differential operators. Recently, minimization has found applications in Transcendental Number Theory, more specifically in the computation of non-zero algebraic points where Siegel's $E$-functions take algebraic values. We present algorithms for these questions and discuss implementation and experiments
International audienceIt is classical that univariate algebraic functions satisfy linear differentia...
International audience$E$-functions are entire functions with algebraic Taylor coefficients at the o...
$E$-functions are entire functions with algebraic Taylor coefficients at the origin satisfying certa...
A power series being given as the solution of a linear differential equation with appropriate initia...
A power series being given as the solution of a linear differential equation with appropriate initia...
A power series being given as the solution of a linear differential equation with appropriate initia...
A power series being given as the solution of a linear differential equation with appropriate initia...
International audienceA power series being given as the solution of a linear differential equation w...
A power series being given as the solution of a linear differential equation with appropriate initia...
International audienceE-functions are entire functions with algebraic Taylor coefficients satisfying...
International audienceE-functions are entire functions with algebraic Taylor coefficients satisfying...
International audienceE-functions are entire functions with algebraic Taylor coefficients satisfying...
E-functions are entire functions with algebraic Taylor coefficients satisfying certain arithmetic co...
E-functions are entire functions with algebraic Taylor coefficients satisfying certain arithmetic co...
International audienceIt is classical that univariate algebraic functions satisfy linear differentia...
International audienceIt is classical that univariate algebraic functions satisfy linear differentia...
International audience$E$-functions are entire functions with algebraic Taylor coefficients at the o...
$E$-functions are entire functions with algebraic Taylor coefficients at the origin satisfying certa...
A power series being given as the solution of a linear differential equation with appropriate initia...
A power series being given as the solution of a linear differential equation with appropriate initia...
A power series being given as the solution of a linear differential equation with appropriate initia...
A power series being given as the solution of a linear differential equation with appropriate initia...
International audienceA power series being given as the solution of a linear differential equation w...
A power series being given as the solution of a linear differential equation with appropriate initia...
International audienceE-functions are entire functions with algebraic Taylor coefficients satisfying...
International audienceE-functions are entire functions with algebraic Taylor coefficients satisfying...
International audienceE-functions are entire functions with algebraic Taylor coefficients satisfying...
E-functions are entire functions with algebraic Taylor coefficients satisfying certain arithmetic co...
E-functions are entire functions with algebraic Taylor coefficients satisfying certain arithmetic co...
International audienceIt is classical that univariate algebraic functions satisfy linear differentia...
International audienceIt is classical that univariate algebraic functions satisfy linear differentia...
International audience$E$-functions are entire functions with algebraic Taylor coefficients at the o...
$E$-functions are entire functions with algebraic Taylor coefficients at the origin satisfying certa...