Home Advanced Search

Advanced Search - Page 1

Complexity of problems in archimedean ordered groups (EUROCAL85)
  • DJVU
  • English
  • Author: Weispfenning.
Efficient decision procedures for locally finite theories II
  • DJVU
  • English
  • Year: 1988
  • Author: Weispfenning.
Quantifier elimination in degree 3
  • DJVU
  • English
  • Author: Weispfenning.
Real quantifier elimination in practice, survey
  • GZ
  • English
  • Year: 1997
  • Author: Dolzmann, Sturm, Weispfenning.
Gröbner Bases: A Computational Approach to Commutative Algebra
  • DJVU
  • English
  • Year: 1993
  • Author: Thomas Becker, Volker Weispfenning (auth.)
Groebner bases and commutative algebra
  • DJVU
  • English
  • Year: 1998
  • Author: Thomas Becker, Volker Weispfenning, H. Kredel
Gröbner Bases - A Computational Approach to Commutative Algebra
  • DJVU
  • English
  • Year: 1993
  • Author: Thomas Becker, Volker Weispfenning, H. Kredel
Groebner bases and commutative algebra
  • DJVU
  • English
  • Year: 1993
  • Author: Thomas Becker, Volker Weispfenning, H. Kredel
Symbolic Rewriting Techniques
  • PDF
  • English
  • Year: 1998
  • Author: Manuel Bronstein, Volker Weispfenning, Johannes Grabmeier (eds.)
Computer Algebra Handbook: Foundations, Applications, Systems
  • DJVU
  • English
  • Year: 2003
  • Author: Johannes Grabmeier, Erich Kaltofen, Volker Weispfenning (eds.)
search