Research output: Contribution to journal › Article › peer-review
The positivstellensatz and small deduction rules for systems of inequalities. / Lombardi, Henri; Mnev, Nikolai; Roy, Marie Françoise.
In: Mathematische Nachrichten, Vol. 181, 01.01.1996, p. 245-259.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - The positivstellensatz and small deduction rules for systems of inequalities
AU - Lombardi, Henri
AU - Mnev, Nikolai
AU - Roy, Marie Françoise
PY - 1996/1/1
Y1 - 1996/1/1
UR - http://www.scopus.com/inward/record.url?scp=0007887773&partnerID=8YFLogxK
U2 - 10.1002/mana.3211810110
DO - 10.1002/mana.3211810110
M3 - Article
AN - SCOPUS:0007887773
VL - 181
SP - 245
EP - 259
JO - Mathematische Nachrichten
JF - Mathematische Nachrichten
SN - 0025-584X
ER -
ID: 126277269