2006 · 18 citations · 1 references
Symbolic ManipulationConcrete MatricesEngineeringRepresentation TheoryAutomated ReasoningNatural SciencesAbstract InterpretationComputer AlgebraMathematical FoundationsMatrix MethodComputer ScienceMatrix TheoryMatrix AnalysisComputational GeometryNew Data TypeSymbolic ComputationAbstract Matrices
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.
1
An array grammar programming system
Andrew E. Mercer, Azriel Rosenfeld · Communications of the ACM · 1973 · 16 citations · Full text