![](/img/cover-not-exists.png)
The Positivstellensatz and Small Deduction Rules for Systems of Inequalities
Henri Lombardi, Nikolai Mnev, Marie-françoise RoyVolume:
181
Year:
1996
Language:
english
Pages:
15
DOI:
10.1002/mana.3211810110
File:
PDF, 667 KB
english, 1996