Questions tagged [computer-algebra-system]

Use with a computer algebra system (CAS). A CAS solves mathematical problems using symbolic manipulation.

Filter by
Sorted by
Tagged with
2 votes
0 answers

Algebraic manipulation: what is the best tool?

I have a set of algebraic axioms. I need to prove an equation, an algebraic law. What I did was applying "trivial" rewrite rules by a theorem prover from both ends, and then an automatic ...
Gergely's user avatar
  • 267
26 votes
3 answers

Non-trivial difference(s) between Computer Algebra System and Proof Assistant

I am not an expert user of these two kinds of software. I have dabbled with both. I understand that the trivial difference between proof assistants and CAS is that in proof assistants, the goal is to ...
prash's user avatar
  • 371