KnowraComputer algebra systemLinked fromLinked fromThe 10 pages that link to Computer algebra system, each with the reason it gives.All 10Related 7Narrower topic 2Compared with 1AlgebraRelated: These systems automate algebraic simplification, equation-solving, and exact computation.Proof assistantCompared with: Symbolic computation can produce results without providing kernel-checked proofs.Symbolic computationNarrower topic: A computer algebra system organizes these representation and transformation techniques into usable tools.Algebraic expressionRelated: These systems manipulate expressions exactly rather than only approximate their values.Algebraic notationRelated: These systems operate directly on the structured expressions notation makes explicit.Division by zeroRelated: Such systems must preserve domain restrictions when simplifying expressions involving a zero denominator.Lambert W functionRelated: Modern systems often implement Lambert W as a named function with branch-aware evaluation.Sturm's theoremRelated: Such systems use Sturm sequences to count roots and certify algebraic computations.Elementary functionRelated: Such systems simplify and differentiate elementary expressions and attempt their integration.Axiom (computer algebra)Narrower topic: Axiom belongs to this broader family of mathematical software.