Publications
When you eliminated the impossible, whatever remains, however improbable, must be the truth.International journals
- Linearized Active Circuits: Transfer Functions and Stability (BibTeX)In Mathematics in Engineering 4(5): 1-18, (2021).Available in open archive.
- Magnetic moment estimation and bounded extremal problems (BibTeX)In Inverse Problems and Imaging 13(1): 39-67, (2019).Available in open archive.
- Model-Free Closed-Loop Stability Analysis: A Linear Functional Approach (BibTeX)In IEEE Transactions on Microwave Theory and Techniques 66(1): 73-80, (2018).Available in open archive.
- Silent and equivalent magnetic distributions on thin plates (BibTeX)In Harmonic Analysis, Function Theory, Operator Theory, and Their Applications, Theta Series in Advanced Mathematics 22: 11-27, The Theta Foundation (2018).Available in open archive.
-
Minimax principle and lower bounds inIn Journal of Approximation Theory 206: 17-47, (2016).
-rational approximation
(BibTeX)Available in open archive. -
The functions erf and erfc computed with arbitrary precision and explicit error bounds (BibTeX)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)In Theoretical Computer Science 412(16): 1523-1543, (2011).Available in open archive.
Publications in the proceedings of international conferences
-
Dipole recovery from sparse measurements of its field on a cylindrical geometry (BibTeX)In International Journal of Applied Electromagnetics and Mechanics, 59:(1). Special issue, proceedings of the conference ISEM 2017, pages 209-215, IOS Press.Available in open archive.
-
Multiple-Precision Evaluation of the Airy Ai Function with Reduced Cancellation (BibTeX)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)In 20th IEEE SYMPOSIUM on Computer Arithmetic, pages 225-232, Los Alamitos, CA, July 2011. IEEE Computer Society.Available in open archive.
-
Sollya: an environment for the development of numerical codes (BibTeX)In Mathematical Software - ICMS 2010, pages 28-31, Heidelberg, Germany, September 2010. Springer.Available in open archive.
-
Certified and fast computation of supremum norms of approximation errors (BibTeX)In 19th IEEE SYMPOSIUM on Computer Arithmetic, pages 169-176, Los Alamitos, CA, June 2009. IEEE Computer Society.Available in open archive.
- Computation of the error function erf in arbitrary precision with correct rounding (BibTeX)In RNC 8 Proceedings, 8th Conference on Real Numbers and Computers, pages 27-36, July 2008.
- An Efficient Method for Evaluating Polynomial and Rational Function Approximations (BibTeX)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.Available in open archive.
- A certified infinite norm for the implementation of elementary functions (BibTeX)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 polynomialIn 18th IEEE SYMPOSIUM on Computer Arithmetic, pages 169-176, Los Alamitos, CA, June 2007. IEEE Computer Society.
-approximations
(BibTeX)Preliminary version in open archive. The final version is available Published version.
PhD Thesis
-
Évaluation efficace de fonctions numériques - Outils et exemples (BibTeX)PhD Thesis. École normale supérieure de Lyon - Univérsité de Lyon, 46 allée d'Italie, 69 364 Lyon Cedex 07, 2009.Available in open archive.
Others
- Bilan carbone d'une équipe de recherche à l'Inria(BibTeX)Technical report. Juin 2021.Available in open archive (document in french).
- Asymptotic method for estimating magnetic moments from field measurements on a planar grid(BibTeX)Preprint, not yet published. 2018.Available in open archive.
- On Transfer Functions Realizable with Active Electronic Components(BibTeX)Inria Research Report RR-8659. 2014.Available in open archive.
- A certified infinite norm for the validation of numerical algorithms(BibTeX)LIP Research Report RR-2006-49. 2006.Available in open archive.
- LLL and polynomial approximation(BibTeX)Poster made for the conference LLL+25, in Caen (France). June 2007.Available in open archive.
- Polynômes de meilleure approximation à coefficients flottants. (BibTeX)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éellesReport 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 arbitraireReport 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).