To contact me :
Version fran├žaise de cette page

Introduction to the research pages

When you eliminated the impossible, whatever remains, however improbable, must be the truth. Sir Arthur Conan Doyle - Sherlock Holmes

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.