-
Formal proofs in real algebraic geometry: from ordered fields to quantifier e...
International audience -
Equivariant weight filtration for real algebraic varieties with action
Introduced by B. Totaro, the weight filtration on the homology of real algebraic varieties, which is a real analog to P. Deligne's weight filtration for complex... -
Optimization on linear matrix inequalities for polynomial systems control
These lecture notes were written for a tutorial course given during the conference "Journées Nationales de Calcul Formel" held at Centre International de Rencontres...
