Home Advanced Search

Advanced Search - Page 1

Sugar cube selection strategies for Buchberger algorithm
  • GZ
  • English
  • Year: 1991
  • Author: Giovini et al.
Heuristic selection strategy for Groebner bases
  • DJVU
  • English
  • Year: 1991
  • Author: Czapor.
Simplified method for recognizing zero in constants
  • DJVU
  • English
  • Year: 1995
  • Author: Richardson D.
Efficient decision procedures for locally finite theories II
  • DJVU
  • English
  • Year: 1988
  • Author: Weispfenning.
New algorithm for fast integer polynomial factorization
  • DJVU
  • English
  • Year: 1986
  • Author: Lucks.
Symbolic computation of center manifolds
  • DJVU
  • English
  • Year: 1988
  • Author: Freire et al.
Determining solvability of polynomial over integers
  • DJVU
  • English
  • Year: 1990
  • Author: Yokoyama et al.
SIMATH, a CAS for number theory
  • DJVU
  • English
  • Year: 1997
  • Author: Zimmer.
Solving linear diophantine systems
  • DJVU
  • English
  • Year: 1999
  • Author: Mulders, Storjohann.
Computing symbolic limits using hierarchical series
  • DJVU
  • English
  • Year: 1988
  • Author: Geddes, Gonnet.
search