- 2 402 202 книги
- Поиск
Computer algebra handbook : foundations, applications, systems
Автор: Johannes Grabmeier; Erich Kaltofen; Volker Weispfenning (eds.)Категория: Cs_Computer science, CsCa_Computer algebra
Размер книги: 5.80 Mb
Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).ps.gz
Автор:
Размер книги: 121 Kb
Weispfenning. Efficient decision procedures for locally finite theories II (ISSAC1988)(L)(T)(6s).djvu
Автор:
Размер книги: 159 Kb
Becker T., Weispfenning V. Groebner bases and commutative algebra (Springer, 1993)(ISBN 0387979719)(L)(T)(298s).djvu
Автор:
Размер книги: 7.11 Mb
Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).p.gz
Автор:
Размер книги: 121 Kb
Weispfenning. Efficient decision procedures for locally finite theories II (ISSAC1988)(6s).djvu
Автор:
Размер книги: 155 Kb
Becker T., Weispfenning V. Groebner bases and commutative algebra (Springer, 1993)(L)(298s).djvu
Автор:
Размер книги: 6.97 Mb
Groebner bases and commutative algebra
Автор: Thomas Becker, Автор: Volker Weispfenning, Автор: H. Kredel
Размер книги: 4.21 Mb
Groebner bases and commutative algebra
Автор: Thomas Becker, Автор: Volker Weispfenning, Автор: H. Kredel
Размер книги: 7.11 Mb
Model theory and algebra
Автор: D. H. Saracino (editor), Автор: V. B. Weispfenning (editor)
Размер книги: 2.76 Mb
Complexity of problems in archimedean ordered groups (EUROCAL85)
Автор: Weispfenning.
Размер книги: 45 Kb
Efficient decision procedures for locally finite theories II
Автор: Weispfenning.
Размер книги: 159 Kb
Real quantifier elimination in practice, survey
Автор: Dolzmann, Автор: Sturm, Автор: Weispfenning.
Размер книги: 121 Kb
Groebner bases and commutative algebra
Автор: Thomas Becker, Автор: Volker Weispfenning, Автор: H. Kredel
Размер книги: 6.97 Mb
Model Theory and Algebra: A Memorial Tribute to Abraham Robinson
Автор: D. H. Saracino (editor), Автор: V. B. Weispfenning (editor)
Размер книги: 2.85 Mb