This section describes my research works. Currently, it contains just few informations. A short vitae, a list of publications and the list of my talks can be found here. In the future, I will put here a description of my research interests.
Today, my researches concern the approximation of functions in arbitrary precision. Before, I was interested in approximating functions in fixed precision. More precisely, I was looking for polynomials with floating-point coefficients that approximate mathematical functions. These topics lead me to study the algorithmic number theory and objects like euclidean lattices.
For my researches, I have developed with Christoph Lauter a software called Sollya. It is a toolbox containing efficient and safe implementations of numerical algorithms (such as infinite norm, searching zeros of a function, evaluation of a function with interval arithmetic, Remez' algorithm, plot of a function, etc.). Moreover, Sollya can compute with arbitrary high precision.