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 1Proof assistantCompared with: Symbolic computation can produce results without providing kernel-checked proofs.