-
Computing rational solutions of linear matrix inequalities
International audience -
A probabilistic algorithm to compute the real dimension of a semi-algebraic set
Several typos fixed in Sections 4 and 5. There is an error in Section 5 and thus the complexity result stated does not hold -
Critical Point Methods and Effective Real Algebraic Geometry: New Results and...
International audience
