1 paper · 2 filters
Michel Coste, Henri Lombardi, Marie-Françoise Roy
We give a general method for producing various effective Null and Positivstellensätze, and getting new Positivstellensätze in algebraically closed valued fields and ordered groups.…