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:
“In mathematics he was greater
Than Tycho Brahe, or Erra Pater:
For he, by geometric scale,
Could take the size of pots of ale;
Resolve, by sines and tangents straight,
If bread and butter wanted weight;
And wisely tell what hour o’ th’ day
The clock doth strike, by algebra.”
—Samuel Butler (1612–1680)
“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)
“The only people who treasure systems are those whom the whole truth evades, who want to catch it by the tail. A system is just like truth’s tail, but the truth is like a lizard. It will leave the tail in your hand and escape; it knows that it will soon grow another tail.”
—Ivan Sergeevich Turgenev (1818–1883)