1 paper · 1 filter
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 group…