-
Quantifier elimination in the quasi-analytic framework
We associate to every compact polydisk B [belonging to ] Rn an algebra CB of real functions defined in a neighborhood of B. The collection of these algebras is... -
Convergence of descent methods for semi-algebraic and tame problems: proximal...
International audience -
Alternating minimization and projection methods for structured nonconvex prob...
International audience
