- 2 402 202 книги
#9
Collins, Johnson. Quantifier elimination, sign variation, root isolation. ISSAC89(T)(8s).djvu
279 Kb
#10
Pau, Schicho. Quantifier elimination and CAD for trigonometric polynomials (JSC2000)(T)(13s).djvu
102 Kb
#12
Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).ps.gz
121 Kb
#13
Collins. Quantifier elimination for real closed fields by CAD (LNCS 33, p. 134, 1975)(L)(T)(25s).djvu
425 Kb
#18
Collins, Johnson. Quantifier elimination, sign variation, root isolation. ISSAC89(8s).djvu
274 Kb
#20
Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).p.gz
121 Kb
#21
Collins. Quantifier elimination for real closed fields by CAD (LNCS 33, p. 134, 1975)(25s).djvu
411 Kb
