Efficient polynomial L-approximations. - Nicolas Brisebarre; Sylvain Chevillard (IEEE Symposium on Computer Arithmetic, 2007)

A Certified Infinite Norm for the Implementation of Elementary Functions. - Sylvain Chevillard; Christoph Quirin Lauter (QSIC, 2007)

An efficient method for evaluating polynomial and rational function approximations. - Nicolas Brisebarre; Sylvain Chevillard; Milos D. Ercegovac; Jean-Michel Muller; Serge Torres (ASAP, 2008)

Certified and Fast Computation of Supremum Norms of Approximation Errors. - Sylvain Chevillard; Mioara Joldes; Christoph Quirin Lauter (IEEE Symposium on Computer Arithmetic, 2009)

Évaluation efficace de fonctions numériques - Outils et exemples. (Efficient evaluation of numerical functions - Tools and examples). - Sylvain Chevillard (2009)

Sollya: An Environment for the Development of Numerical Codes. - Sylvain Chevillard; Mioara Joldes; Christoph Quirin Lauter (ICMS, 2010)

Automatic Generation of Code for the Evaluation of Constant Expressions at Any Precision with a Guaranteed Error Bound. - Sylvain Chevillard (IEEE Symposium on Computer Arithmetic, 2011)

Efficient and accurate computation of upper bounds of approximation errors. - Sylvain Chevillard; J. Harrison; Mioara Joldes; Christoph Quirin Lauter (Theor. Comput. Sci., 2011)

The functions erf and erfc computed with arbitrary precision and explicit error bounds. - Sylvain Chevillard (Inf. Comput., 2012)

Multiple-Precision Evaluation of the Airy Ai Function with Reduced Cancellation. - Sylvain Chevillard; Marc Mezzarobba (IEEE Symposium on Computer Arithmetic, 2013)

Model-Free Closed-Loop Stability Analysis: A Linear Functional Approach. - Adam Cooman; Fabien Seyfert; Martine Olivi; Sylvain Chevillard; Laurent Baratchart (CoRR, 2016)

Minimax principle and lower bounds in H2-rational approximation. - Laurent Baratchart; Sylvain Chevillard; Tao Qian (J. Approx. Theory, 2016)