- 2 402 202 книги
- Поиск
Real quantifier elimination in practice, survey
Автор: Dolzmann, Автор: Sturm, Автор: Weispfenning.
Размер книги: 121 Kb
Quantifier elimination and CAD for trigonometric polynomials
Автор: Pau, Автор: Schicho.
Размер книги: 102 Kb
Quantifier elimination, sign variation, root isolation. ISSAC89
Автор: Collins, Автор: Johnson.
Размер книги: 279 Kb
Collins, Johnson. Quantifier elimination, sign variation, root isolation. ISSAC89(T)(8s).djvu
Автор:
Размер книги: 279 Kb
Pau, Schicho. Quantifier elimination and CAD for trigonometric polynomials (JSC2000)(T)(13s).djvu
Автор:
Размер книги: 102 Kb
Sturm T. Real quantifier elimination in geometry (phd diss., 1999)(140s).ps.gz
Автор:
Размер книги: 461 Kb
Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).ps.gz
Автор:
Размер книги: 121 Kb
Collins. Quantifier elimination for real closed fields by CAD (LNCS 33, p. 134, 1975)(L)(T)(25s).djvu
Автор:
Размер книги: 425 Kb
Sturm T. Real quadratic quantifier elimination in Risa-Asir (1996)(15s).ps.gz
Автор:
Размер книги: 111 Kb
Collins, Johnson. Quantifier elimination, sign variation, root isolation. ISSAC89(8s).djvu
Автор:
Размер книги: 274 Kb
Sturm T. Real quantifier elimination in geometry (phd diss., 1999)(140s).ps.gz
Автор:
Размер книги: 461 Kb
Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).p.gz
Автор:
Размер книги: 121 Kb
Collins. Quantifier elimination for real closed fields by CAD (LNCS 33, p. 134, 1975)(25s).djvu
Автор:
Размер книги: 411 Kb
Sturm T. Real quadratic quantifier elimination in Risa-Asir (1996)(15s).ps.gz
Автор:
Размер книги: 111 Kb
Richardson. Elimination of infinitesimal quantifiers (JPAA 1999)(T)(19s).djvu
Автор:
Размер книги: 234 Kb
Richardson. Elimination of infinitesimal quantifiers (JPAA 1999)(19s).djvu
Автор:
Размер книги: 228 Kb
Complexity of problems in archimedean ordered groups (EUROCAL85)
Автор: Weispfenning.
Размер книги: 45 Kb
Efficient decision procedures for locally finite theories II
Автор: Weispfenning.
Размер книги: 159 Kb
