Based on the ontology and semantics of algebra, the computer algebra system Magma enables users to rapidly formulate and perform …
