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:
“The three main medieval points of view regarding universals are designated by historians as realism, conceptualism, and nominalism. Essentially these same three doctrines reappear in twentieth-century surveys of the philosophy of mathematics under the new names logicism, intuitionism, and formalism.”
—Willard Van Orman Quine (b. 1908)
“What, then, is the basic difference between today’s computer and an intelligent being? It is that the computer can be made to see but not to perceive. What matters here is not that the computer is without consciousness but that thus far it is incapable of the spontaneous grasp of pattern—a capacity essential to perception and intelligence.”
—Rudolf Arnheim (b. 1904)
“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)