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 analogy between the mind and a computer fails for many reasons. The brain is constructed by principles that assure diversity and degeneracy. Unlike a computer, it has no replicative memory. It is historical and value driven. It forms categories by internal criteria and by constraints acting at many scales, not by means of a syntactically constructed program. The world with which the brain interacts is not unequivocally made up of classical categories.”
—Gerald M. Edelman (b. 1928)
“Poetry has become the higher algebra of metaphors.”
—José Ortega Y Gasset (1883–1955)
“No civilization ... would ever have been possible without a framework of stability, to provide the wherein for the flux of change. Foremost among the stabilizing factors, more enduring than customs, manners and traditions, are the legal systems that regulate our life in the world and our daily affairs with each other.”
—Hannah Arendt (1906–1975)