-
Exploring or reducing noise? A global optimization algorithm in the presence ...
International audience -
Strengthening the heart of an SMT-solver : Design and implementation of effic...
This thesis tackles the problem of automatically proving the validity of mathematical formulas generated by program verification tools. In particular, it focuses on... -
Simple Estimation of Fiber Dispersion and Laser Chirp Parameters Using the Do...
International audience
