2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee
.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Local quantifier elimination
Dolzmann.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
181 Kb
#2
Real quadratic quantifier elimination in Risa-Asir
Sturm T.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
111 Kb
#3
Quantifier elimination in degree 3
Weispfenning.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
120 Kb
#4
Quantifier elimination for real closed fields by CAD
Collins.
Категория:
Papers
,
Computer algebra
,
Real alg. geometry
,
CAD
425 Kb
#5
Real quantifier elimination in practice, survey
Dolzmann
,
Sturm
,
Weispfenning.
Категория:
Papers
,
Computer algebra
,
Real alg. geometry
,
CAD
121 Kb
#6
Real quantifier elimination in geometry
Sturm T.
Категория:
Papers
,
Computer algebra
,
Real alg. geometry
,
CAD
461 Kb
#7
Quantifier elimination and CAD for trigonometric polynomials
Pau
,
Schicho.
Категория:
Papers
,
Computer algebra
,
Solving equations
102 Kb
#8
Quantifier elimination, sign variation, root isolation. ISSAC89
Collins
,
Johnson.
Категория:
Papers
,
Numerical methods
,
Polynomial roots
279 Kb
#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
#11
Sturm T. Real quantifier elimination in geometry (phd diss., 1999)(140s).ps.gz
461 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
#14
Weispfenning. Quantifier elimination in degree 3(T)(6s).djvu
120 Kb
#15
Sturm T. Real quadratic quantifier elimination in Risa-Asir (1996)(15s).ps.gz
111 Kb
#16
Quantifier elimination/
1.49 Mb
#17
Dolzmann. Local quantifier elimination(9s).pdf
181 Kb
#18
Collins, Johnson. Quantifier elimination, sign variation, root isolation. ISSAC89(8s).djvu
274 Kb
#19
Sturm T. Real quantifier elimination in geometry (phd diss., 1999)(140s).ps.gz
461 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
#22
Weispfenning. Quantifier elimination in degree 3(6s).djvu
116 Kb
#23
Sturm T. Real quadratic quantifier elimination in Risa-Asir (1996)(15s).ps.gz
111 Kb
#24
Dolzmann. Local quantifier elimination(9s).pdf
181 Kb
#25
Quantifier elimination/
1.46 Mb
#26
Simplification of quantifier-free formulae. JSC 1997
Dolzmann.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
170 Kb
#27
Elimination of infinitesimal quantifiers
Richardson.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
234 Kb
#28
Richardson. Elimination of infinitesimal quantifiers (JPAA 1999)(T)(19s).djvu
234 Kb
#29
Richardson. Elimination of infinitesimal quantifiers (JPAA 1999)(19s).djvu
228 Kb
#30
PALMINI, fast Boolean minimization
Nguyen et al.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
240 Kb
#31
Lineare Quantorelimination in bewerteten Koerpern
Sturm T.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
184 Kb
#32
Complexity of problems in archimedean ordered groups (EUROCAL85)
Weispfenning.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
45 Kb
#33
Efficient decision procedures for locally finite theories II
Weispfenning.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
159 Kb
#34
Efficient solution of systems of boolean equations
Woods.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
78 Kb