Algèbre Constructive
Transformation homographique appliquée à un développement en fraction continue fini ou infini
The projective spectrum as a distributive lattice
A real nullstellensatz and positivstellensatz for the semipolynomials over an ordered field.
Let K be an ordered field and R its real closure. A semipolynomial will be defined as a function from R to R obtained by composition of polynomial functions and the absolute value. Every semipolynomial can be defined as a straight-line program containing only instructions with the following type: polynomial, absolute value, sup and inf and such a program will be called a semipolynomial expression. It will be proved, using the ordinary real positivstellensatz, a general real positivstellensatz concerning...
Spécialisation de la suite de Sturm et sous-résultants
Spécialisation de la suite de Sturm
A new rational and continuous solution for Hilbert's 17th problem.
In this note it is presented a new rational and continuous solution for Hilbert's 17th problem, which asks if an everywhere positive polynomial can be expressed as a sum of squares of rational functions. This solution (Theorem 1) improves the results in [2] in the sense that our parametrized solution is continuous and depends in a rational way on the coefficients of the problem (what is not the case in the solution presented in [2]). Moreover our method simplifies the proof and it is easy to generalize...
Page 1