Output details
11 - Computer Science and Informatics
University of Birmingham
Abstracting symbolic matrices : Special issue on artificial intelligence and symbolic computation
<12>Our work on abstract or symbolic matrices has opened a new area in computer algebra systems by allowing, for the first time, the use of matrices containing ellipses ("...") to be used, computed with and manipulated as first class entities, just as they are in mathematical textbooks. In previous papers we tackled entry, computation with and operations on such objects. In this paper we closed the loop with some new subtle algorithms and proofs on how to abstract large numeric or symbolic matrices into more compact and human understandable summary matrices by discovering homogeneous regions and re-representing them with ellipses.