Home Advanced Search

Advanced Search - Page 1

Elimination of infinitesimal quantifiers
  • DJVU
  • English
  • Year: 1999
  • Author: Richardson.
New efficient algorithm for Groebner bases
  • DJVU
  • English
  • Year: 1999
  • Author: Faugere.
On the computation of limsups
  • DJVU
  • English
  • Year: 1997
  • Author: van der Hoeven.
Modular method for computing Galois groups of polynomials
  • DJVU
  • English
  • Year: 1999
  • Author: Yokoyama.
Lower bounds for diophantine approximations
  • DJVU
  • English
  • Year: 1997
  • Author: Guisti et al.
search