Home Advanced Search

Advanced Search - Page 1

Quantifier elimination in degree 3
  • DJVU
  • English
  • Author: Weispfenning.
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.
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.)
search