Abstract matrices in symbolic computation
Alan P. Sexton, Volker Sorge · 2006
We introduce a new data type of abstract matrices that allows the description of underspecified matrices containing ellipses and their use as templates for classes of concrete matrices. We present a series of algorithms that fully analyses the structure of abstract matrices and their representation and supports subsequent instantiation to concrete matrices.