Questions tagged [computer-algebra-system]
Use with a computer algebra system (CAS). A CAS solves mathematical problems using symbolic manipulation.
2
questions
2
votes
0
answers
85
views
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 ...
- 267
26
votes
3
answers
565
views
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 ...
- 371