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 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 geometry of landscape and situation seems to create its own systems of time, the sense of a dynamic element which is cinematising the events of the canvas, translating a posture or ceremony into dynamic terms. The greatest movie of the 20th century is the Mona Lisa, just as the greatest novel is Gray’s Anatomy.”
—J.G. (James Graham)