Category:Computer algebra

• Computer algebra (computing)

A

• Abramov's algorithm (computing)
• DMelt:AI/Symbolic Regression
• Automatic differentiation (computing)

B

• Bareiss algorithm (computing)
• Berlekamp's algorithm (computing)
• Berlekamp–Zassenhaus algorithm (computing)
• Binary expression tree (computing)
• Buchberger's algorithm (computing)

C

• Cantor–Zassenhaus algorithm (computing)
• Conway polynomial (finite fields) (computing)

D

• Dimension of an algebraic variety (computing)

E

• Elementary function (computing)
• Elimination theory (computing)

F

• Factorization of polynomials (computing)
• Factorization of polynomials over finite fields (computing)
• Faugère's F4 and F5 algorithms (computing)
• FGLM algorithm (computing)

G

• Gosper's algorithm (computing)
• Gröbner basis (computing)
• Gröbner fan (computing)

I

• International Symposium on Symbolic and Algebraic Computation (computing)

J

• Janet basis (computing)
• Journal of Symbolic Computation (computing)

K

• Kronecker substitution (computing)

L

• Landau's algorithm (computing)
• Liouvillian function (computing)

M

• Teo Mora (biography)

O

• Ore algebra (computing)

P

• Pollard's kangaroo algorithm (computing)
• Polynomial decomposition (computing)
• Polynomial greatest common divisor (computing)
• Polynomial identity testing (computing)
• Polynomial long division (computing)

R

• Real-root isolation (computing)
• Regular chain (computing)
• Regular semi-algebraic system (computing)
• RegularChains (software)
• Resultant (computing)
• Risch algorithm (computing)

S

• Schwartz–Zippel lemma (computing)
• Square-free polynomial (computing)
• Sturm's theorem (computing)
• Sum of radicals (computing)
• Symbolic integration (computing)
• Symbolic regression (computing)
• Symbolic-numeric computation (computing)
• Synthetic division (computing)
• System of polynomial equations (computing)

T

• Triangular decomposition (computing)

W

• Wu's method of characteristic set (computing)