Elementary recursive complexity results in real algebraic geometry (Women in Mathematics)

[BGP] Blekherman G., Gouveia J. and Pfeiffer J. Sums of Squares on the

Hypercube Manuscript. arXiv:1402.4199. [BCR] J. Bochnak, M. Coste ,

M.-F. Roy. Real algebraic geometry. Second edition in english.Ergebnisse

der Mat., vol. 36. Berlin Heidelberg New York: Springer (1998)

[BPR] S. Basu, R. Pollack, M.-F. Roy, Algorithms in real algebraic

geometry, Algorithms and Computation in Mathematics, 10, Second

edit ion. Springer-Verlag, Berlin, 2006.

[PR] D. Perrucci, M.-F. Roy. Elementary recursive quantifier elimination

based on Thom encoding and sign determination. Annals of Pure and

Applied Logic, Volume 168, Issue 8, August 2017, Pages 1588-1604

(preliminary version, arXiv:1609.02879v2) .

[LPR] H. Lombardi, D. Perrucci, M.-F. Roy, An elementary recursive

bound for effective Positivstellensatz and Hilbert 17-th problem

(preliminary version, arXiv:1404.2338).

(and many other references there)

Marie-Franc;oise Roy Universit€ de Rennes 1

...

Elementary recursive complexity results in real algebraic geometr)

...