论文信息 - The Positivstellensatz and Small Deduction Rules for Systems of Inequalities - 字舞流文

The Positivstellensatz and Small Deduction Rules for Systems of Inequalities

Marie-Françoise Roy | Henri Lombardi | Nikolai Mnev | Marie-Françoise Roy | N. Mnev | H. Lombardi

[1] G. Stengle. A nullstellensatz and a positivstellensatz in semialgebraic geometry , 1974 .

[2] M-F Roy,et al. Géométrie algébrique réelle , 1987 .