Computer algebra is a diffuse branch of mathematics done with computers that encompasses both computational algebra and analysis.
Computer algebra includes exact symbolic manipulation of mathematical expressions, such as polynomial computation, symbolic integration,
symbolic summation, and equation solving. Practical symbolic integration systems
combine decision procedures such as the Risch algorithm
with heuristic, table-based, and rule-based methods; even when an elementary antiderivative
exists, implementations may miss it (Desmond 2026).
