Output details
11 - Computer Science and Informatics
University of Birmingham
Article title
Abstracting symbolic matrices : Special issue on artificial intelligence and symbolic computation
Type
D - Journal article
Title of journal
Annals of Mathematics and Artificial Intelligence
Article number
-
Volume number
64
Issue number
4
First page of article
343
ISSN of journal
1012-2443
Year of publication
2012
URL
-
Number of additional authors
2
Additional information
<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.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Artificial Intelligence and Intelligent Robotics
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
