To contact me : firstname.name@ens-lyon.fr
Version française de cette page

Publications

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

International journals

  • Model-Free Closed-Loop Stability Analysis: A Linear Functional Approach (BibTeX)
    A. Cooman, F. Seyfert, M. Olivi, S. Chevillard and L. Baratchart
    In IEEE Transactions on Microwave Theory and Techniques 66(1): 73-80, (2018).
    Author version.
  • Minimax principle and lower bounds in $H^2$-rational approximation (BibTeX)
    L. Baratchart, S. Chevillard and T. Qian
    In Journal of Approximation Theory 206: 17-47, (2016).
    Available in open archive.
  • The functions erf and erfc computed with arbitrary precision and explicit error bounds (BibTeX)
    S. Chevillard
    In Information and Computation 216: 72-95, (2012).
    Long version available in open archive (Research Report RR2009-04 of Laboratoire d'informatique du parallélisme (LIP)).
  • Efficient and accurate computation of upper bounds of approximation errors (BibTeX)
    S. Chevillard, J. Harrison, M. Joldes and C. Lauter
    In Theoretical Computer Science 412(16): 1523-1543, (2011).
    Available in open archive.

Publications in the proceedings of international conferences

  • Silent and equivalent magnetic distributions on thin plates (BibTeX)
    L. Baratchart, S. Chevillard and J. Leblond
    In Harmonic Analysis, Function Theory, Operator Theory, and their Applications, pages 11-27, Theta Series in Advanced Mathematics, 2017, The Theta Foundation.
    Available in open archive.
  • Multiple-Precision Evaluation of the Airy Ai Function with Reduced Cancellation (BibTeX)
    S. Chevillard and M. Mezzarobba
    In 21th IEEE SYMPOSIUM on Computer Arithmetic, pages 175-182, Los Alamitos, CA, April 2013. IEEE Computer Society.
    Available in open archive.
  • Automatic Generation of Code for the Evaluation of Constant Expressions at Any Precision with a Guaranteed Error Bound (BibTeX)
    S. Chevillard
    In 20th IEEE SYMPOSIUM on Computer Arithmetic, pages 225-232, Los Alamitos, CA, July 2011. IEEE Computer Society.
    Available here.
  • Sollya: an environment for the development of numerical codes (BibTeX)
    S. Chevillard, M. Joldes and C. Lauter
    In Mathematical Software - ICMS 2010, pages 28-31, Heidelberg, Germany, September 2010. Springer.
    Available here.
  • Certified and fast computation of supremum norms of approximation errors (BibTeX)
    S. Chevillard, M. Joldes and C. Lauter
    In 19th IEEE SYMPOSIUM on Computer Arithmetic, pages 169-176, Los Alamitos, CA, June 2009. IEEE Computer Society.
    Preliminary version in open archive. Final version.
  • Computation of the error function erf in arbitrary precision with correct rounding (BibTeX)
    S. Chevillard and N. Revol
    In RNC 8 Proceedings, 8th Conference on Real Numbers and Computers, pages 27-36, July 2008.
    Available here.
  • An Efficient Method for Evaluating Polynomial and Rational Function Approximations (BibTeX)
    N. Brisebarre, S. Chevillard, M. Ercegovac, J.-M. Muller and S. Torres
    In ASAP 08, Conference Proceedings, IEEE 19th International Conference on Application-Specific Systems, Architectures and Processors, pages 233-238, Los Alamitos, CA, July 2008. IEEE Computer Society.
    This document is available on the web page of Nicolas Brisebarre.
  • A certified infinite norm for the implementation of elementary functions (BibTeX)
    S. Chevillard and C. Lauter
    In QSIC 2007, Proceedings of the Seventh International Conference on Quality Software, pages 153-160, Los Alamitos, CA, October 2007. IEEE Computer Society.
    Long version in open archive. Published version.
  • Efficient polynomial $L^{\infty}$-approximations (BibTeX)
    N. Brisebarre and S. Chevillard
    In 18th IEEE SYMPOSIUM on Computer Arithmetic, pages 169-176, Los Alamitos, CA, June 2007. IEEE Computer Society.
    Preliminary version in open archive. The final version is available on the web page of Nicolas Brisebarre.

PhD Thesis

  • Évaluation efficace de fonctions numériques - Outils et exemples (BibTeX)
    S. Chevillard
    PhD Thesis. École normale supérieure de Lyon - Univérsité de Lyon, 46 allée d'Italie, 69 364 Lyon Cedex 07, 2009.
    Available here (document in french).

Others

  • LLL and polynomial approximation
    S. Chevillard
    Poster made for the conference LLL+25, in Caen (France). June 2007.
    Download it (this version is designed to be viewed on a screen).
  • Polynômes de meilleure approximation à coefficients flottants. (BibTeX)
    S. Chevillard
    Master's thesis, supervised by N. Brisebarre and J.-M. Muller, June 2006. École Normale Supérieure de Lyon - 46, allée d'Italie, 69 007 Lyon.
    Available here (document in french).
  • De l'effectivité du théorème de Dini - Quelques aspects de la calculabilité des fonctions réelles
    S. Chevillard
    Report of a work experience supervised by V. Brattka and K. Weihrauch, September 2004. FernUniversität Hagen D-58084 Hagen, Germany.
    Available here (parts of this report are written in french).
  • Calcul de la fonction erf en précision arbitraire
    S. Chevillard
    Report of a work experience supervised by N. Revol, September 2003. École Normale Supérieure de Lyon - 46, allée d'Italie, 69 007 Lyon.
    Available here (document written in french).