(under construction)

ENS Lyon, France

• Valentina Popescu. Towards fast and certified multiple-precision librairies. Université de Lyon, 2017. [PDF]
• Antoine Plet. Contribution to error analysis of algorithms in floating-point arithmetic. Université de Lyon, 2017. [PDF]
• Silviu-Ioan Filip. Robust tools for weighted Chebyshev approximation and applications to digital filter design. Université de Lyon, 2016. [PDF]
• Serge Torres. Tools for the Design of Reliable and Efficient Functions Evaluation Libraries. Université de Lyon, 2016. [PDF]
• Nicolas Brunie. Contributions to computer arithmetic and applications to embedded systems. ENS de Lyon, 2014. [PDF]
• Mioara Joldes. Rigorous Polynomial Approximations and Applications. ENS de Lyon, 2011. [PDF]
• Bogdan Pasca. High-performance floating-point computing on reconfigurable circuits. ENS de Lyon, 2011. [PDF]
• Guillaume Revy. Implementation of binary floating-point arithmetic on embedded integer processors : Polynomial evaluation-based algorithms and certified code generation. ENS de Lyon. 2009. [PDF]
• Nicolas Brisebarre (habilitation thesis). Un peu de théorie des nombres et de calcul formel au service de l’arithmétique des ordinateurs. ENS de Lyon. 2017. [PDF]

Paris Sorbonne Universites, France

• Anastasia Volkova Lozanova. Towards reliable implementation of digital filters. Sorbonne Universites. 2017. [PDF]