Publications
Certains hommes parlent pendant leur sommeil. Il n'y a guère que les conférenciers pour parler pendant le sommeil des autres.Journaux internationaux avec comité de lecture
- Linearized Active Circuits: Transfer Functions and Stability (BibTeX)Dans Mathematics in Engineering 4(5): 1-18, (2021).Disponible sur archive ouverte.
- Magnetic moment estimation and bounded extremal problems (BibTeX)Dans Inverse Problems and Imaging 13(1): 39-67, (2019).Disponible sur archive ouverte.
- Model-Free Closed-Loop Stability Analysis: A Linear Functional Approach (BibTeX)Dans IEEE Transactions on Microwave Theory and Techniques 66(1): 73-80, (2018).Disponible sur archive ouverte.
- Silent and equivalent magnetic distributions on thin plates (BibTeX)Dans Harmonic Analysis, Function Theory, Operator Theory, and Their Applications, Theta Series in Advanced Mathematics 22: 11-27, The Theta Foundation (2018).Disponible sur archive ouverte.
-
Minimax principle and lower bounds inDans Journal of Approximation Theory 206: 17-47, (2016).
-rational approximation
(BibTeX)Disponible sur archive ouverte. -
The functions erf and erfc computed with arbitrary precision and explicit error bounds (BibTeX)Dans Information and Computation 216: 72-95, (2012).Disponible en version longue sur archive ouverte (rapport de recherche RR2009-04, du laboratoire d'informatique du parallélisme (LIP)).
-
Efficient and accurate computation of upper bounds of approximation errors (BibTeX)Dans Theoretical Computer Science 412(16): 1523-1543, (2011).Disponible sur archive ouverte.
Publications dans les actes de conférences internationales
-
Dipole recovery from sparse measurements of its field on a cylindrical geometry (BibTeX)Dans International Journal of Applied Electromagnetics and Mechanics, 59:(1). Special issue, proceedings of the conference ISEM 2017, pages 209-215, IOS Press.Disponible sur archive ouverte.
-
Multiple-Precision Evaluation of the Airy Ai Function with Reduced Cancellation (BibTeX)Dans 21th IEEE SYMPOSIUM on Computer Arithmetic, pages 175-182, Los Alamitos, CA, Avril 2013. IEEE Computer Society.Disponible sur archive ouverte.
-
Automatic Generation of Code for the Evaluation of Constant Expressions at Any Precision with a Guaranteed Error Bound (BibTeX)Dans 20th IEEE SYMPOSIUM on Computer Arithmetic, pages 225-232, Los Alamitos, CA, Juillet 2011. IEEE Computer Society.Disponible sur archive ouverte.
-
Sollya: an environment for the development of numerical codes (BibTeX)Dans Mathematical Software - ICMS 2010, pages 28-31, Heidelberg, Allemagne, Septembre 2010. Springer.Disponible sur archive ouverte.
-
Certified and fast computation of supremum norms of approximation errors (BibTeX)Dans 19th IEEE SYMPOSIUM on Computer Arithmetic, pages 169-176, Los Alamitos, CA, Juin 2009. IEEE Computer Society.Disponible sur archive ouverte.
-
Computation of the error function erf in arbitrary precision with correct rounding (BibTeX)Dans RNC 8 Proceedings, 8th Conference on Real Numbers and Computers, pages 27-36, Juillet 2008.
- An Efficient Method for Evaluating Polynomial and Rational Function Approximations (BibTeX)Dans ASAP 08, Conference Proceedings, IEEE 19th International Conference on Application-Specific Systems, Architectures and Processors, pages 233-238, Los Alamitos, CA, Juillet 2008. IEEE Computer Society.Disponible sur archive ouverte.
- A certified infinite norm for the implementation of elementary functions (BibTeX)Dans QSIC 2007, Proceedings of the Seventh International Conference on Quality Software, pages 153-160, Los Alamitos, CA, Octobre 2007. IEEE Computer Society.Version longue sur archive ouverte. Version publiée.
- Efficient polynomialDans 18th IEEE SYMPOSIUM on Computer Arithmetic, pages 169-176, Los Alamitos, CA, Juin 2007. IEEE Computer Society.
-approximations
(BibTeX)Version préliminaire sur archive ouverte. Version publiée.
Thèse de doctorat
-
Évaluation efficace de fonctions numériques - Outils et exemples (BibTeX)Thèse de doctorat. École normale supérieure de Lyon - Univérsité de Lyon, 46 allée d'Italie, 69 364 Lyon Cedex 07, 2009.Disponible sur archive ouverte.
Autres
- Bilan carbone d'une équipe de recherche à l'Inria(BibTeX)Rapport technique. Juin 2021.Disponible sur archive ouverte.
- Asymptotic method for estimating magnetic moments from field measurements on a planar grid(BibTeX)Preprint, pas encore publié. 2018.Disponible sur archive ouverte.
- On Transfer Functions Realizable with Active Electronic Components(BibTeX)Rapport de recherche Inria RR-8659. 2014.Disponible sur archive ouverte.
- A certified infinite norm for the validation of numerical algorithms(BibTeX)Rapport de recherche du LIP RR-2006-49. 2006.Disponible sur archive ouverte.
- LLL and polynomial approximation(BibTeX)Poster réalisé pour la conférence LLL+25, à Caen. Juin 2007.Disponible sur archive ouverte.
- Polynômes de meilleure approximation à coefficients flottants. (BibTeX)Mémoire de deuxième année de Master, sous la direction de N. Brisebarre et J.-M. Muller, Juin 2006. École Normale Supérieure de Lyon - 46, allée d'Italie, 69 007 Lyon.
- De l'effectivité du théorème de Dini - Quelques aspects de la calculabilité des fonctions réellesRapport de stage de M1, sous la direction de V. Brattka et K. Weihrauch, Septembre 2004. FernUniversität Hagen D-58084 Hagen, Allemagne.
- Calcul de la fonction erf en précision arbitraireRapport de stage de L3, sous la direction de N. Revol, Septembre 2003. École Normale Supérieure de Lyon - 46, allée d'Italie, 69 007 Lyon.