Computer Algebra System - Mathematics Used in Computer Algebra Systems

Mathematics Used in Computer Algebra Systems

  • Symbolic integration - Risch algorithm
  • Hypergeometric summation - Gosper's algorithm
  • Limit computation - Gruntz's algorithm
  • Polynomial factorization. Over finite fields, Berlekamp's algorithm or Cantor–Zassenhaus algorithm is used.
  • Greatest common divisor - Euclidean algorithm
  • Gaussian elimination
  • Gröbner basis - Buchberger's algorithm; generalization of Euclidean algorithm and Gaussian elimination
  • Padé approximant
  • Schwartz–Zippel lemma and testing polynomial identities
  • Chinese remainder theorem
  • Diophantine equations
  • Quantifier elimination over real numbers - Tarski's method/Cylindrical algebraic decomposition
  • Landau's algorithm
  • Derivatives of elementary and special functions (e.g. see Incomplete Gamma function)

Read more about this topic:  Computer Algebra System

Famous quotes containing the words computer, algebra and/or systems:

    The computer takes up where psychoanalysis left off. It takes the ideas of a decentered self and makes it more concrete by modeling mind as a multiprocessing machine.
    Sherry Turkle (b. 1948)

    Poetry has become the higher algebra of metaphors.
    José Ortega Y Gasset (1883–1955)

    The skylines lit up at dead of night, the air- conditioning systems cooling empty hotels in the desert and artificial light in the middle of the day all have something both demented and admirable about them. The mindless luxury of a rich civilization, and yet of a civilization perhaps as scared to see the lights go out as was the hunter in his primitive night.
    Jean Baudrillard (b. 1929)