2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Computer algebra handbook : foundations, applications, systems
Johannes Grabmeier; Erich Kaltofen; Volker Weispfenning (eds.)
Категория:
Cs_Computer science
,
CsCa_Computer algebra
5.80 Mb
#2
Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).ps.gz
121 Kb
#3
Weispfenning. Quantifier elimination in degree 3(T)(6s).djvu
120 Kb
#4
Weispfenning. Efficient decision procedures for locally finite theories II (ISSAC1988)(L)(T)(6s).djvu
159 Kb
#5
Becker T., Weispfenning V. Groebner bases and commutative algebra (Springer, 1993)(ISBN 0387979719)(L)(T)(298s).djvu
7.11 Mb
#6
Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).p.gz
121 Kb
#7
Weispfenning. Quantifier elimination in degree 3(6s).djvu
116 Kb
#8
Weispfenning. Efficient decision procedures for locally finite theories II (ISSAC1988)(6s).djvu
155 Kb
#9
Becker T., Weispfenning V. Groebner bases and commutative algebra (Springer, 1993)(L)(298s).djvu
6.97 Mb
#10
Groebner bases and commutative algebra
Thomas Becker
,
Volker Weispfenning
,
H. Kredel
Категория:
Mathematics
,
Algebra
,
Computational algebra
4.21 Mb
#11
Groebner bases and commutative algebra
Thomas Becker
,
Volker Weispfenning
,
H. Kredel
Категория:
Mathematics
,
Algebra
,
Computational algebra
7.11 Mb
#12
Model theory and algebra
D. H. Saracino (editor)
,
V. B. Weispfenning (editor)
Категория:
Mathematics
,
Algebra
,
Mathematical logic
2.76 Mb
#13
Complexity of problems in archimedean ordered groups (EUROCAL85)
Weispfenning.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
45 Kb
#14
Efficient decision procedures for locally finite theories II
Weispfenning.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
159 Kb
#15
Quantifier elimination in degree 3
Weispfenning.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
120 Kb
#16
Real quantifier elimination in practice, survey
Dolzmann
,
Sturm
,
Weispfenning.
Категория:
Papers
,
Computer algebra
,
Real alg. geometry
,
CAD
121 Kb
#17
Groebner bases and commutative algebra
Thomas Becker
,
Volker Weispfenning
,
H. Kredel
Категория:
Математика
,
Алгебра
,
Вычислительная алгебра
6.97 Mb
#18
Model Theory and Algebra: A Memorial Tribute to Abraham Robinson
D. H. Saracino (editor)
,
V. B. Weispfenning (editor)
2.85 Mb