This category contains articles relating to computer algebra systems. These may be educational, allowing a constructive exploration of algebraic topics, or practical, where letting the computer handle the ancillary "plug and chug" work frees mathematicians to concentrate on the more interesting aspects of their problems.
- Axiom