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 mathematics, computer, algebra and/or systems:

    ... though mathematics may teach a man how to build a bridge, it is what the Scotch Universities call the humanities, that teach him to be civil and sweet-tempered.
    Amelia E. Barr (1831–1919)

    The Buddha, the Godhead, resides quite as comfortably in the circuits of a digital computer or the gears of a cycle transmission as he does at the top of a mountain or in the petals of a flower.
    Robert M. Pirsig (b. 1928)

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

    People stress the violence. That’s the smallest part of it. Football is brutal only from a distance. In the middle of it there’s a calm, a tranquility. The players accept pain. There’s a sense of order even at the end of a running play with bodies stewn everywhere. When the systems interlock, there’s a satisfaction to the game that can’t be duplicated. There’s a harmony.
    Don Delillo (b. 1926)