THE POSITIVSTELLENSATZ AND SMALL DEDUCTION RULES FOR SYSTEMS OF INEQUALITIES

Authors
LOMBARDI H MNEV N ROY MF
Citation
H. Lombardi et al., THE POSITIVSTELLENSATZ AND SMALL DEDUCTION RULES FOR SYSTEMS OF INEQUALITIES, Mathematische Nachrichten, 181, 1996, pp. 245-259
Citations number
3
Categorie Soggetti
Mathematics, General",Mathematics
Journal title
Mathematische Nachrichten → ACNP
ISSN journal
0025584X
Volume
181
Year of publication
1996
Pages
245 - 259
Database
ISI
SICI code
0025-584X(1996)181:<245:TPASDR>2.0.ZU;2-5