(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]