My field of interest is Computer Algebra, that is how to represent exact mathematical (infinite) objects in a (finite) computer memory, and how to perform operations on them. At the moment, I particularly try to use computer algebra to explore continued fractions expansions formulas.
In more details
My work takes place in the world of series with complex coefficients. The associated functions of a complex variable are ubiquitous in mathematical physics and combinatorics. More precisely, I study their rational approximations, in the shape of continued fractions.
In this field, my long-term motivations are:
- automatizing the discoveries and proofs of formulas,
- providing generic but efficient evaluation procedures.
This work relates to different projects, as you can see in a presentation by Bruno Salvy (July 2014).
More specifically, my work directly relates to: