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)
“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)
“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)