An array grammar programming system
Communications of the ACM
GREC '01 Selected Papers from the Fourth International Workshop on Graphics Recognition Algorithms and Applications
Semantic Analysis of Matrix Structures
ICDAR '05 Proceedings of the Eighth International Conference on Document Analysis and Recognition
Processing textbook-style matrices
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
ACM Communications in Computer Algebra
Managing ambiguity in mathematical matrices
SBIM '07 Proceedings of the 4th Eurographics workshop on Sketch-based interfaces and modeling
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Computing with abstract matrix structures
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Capturing abstract matrices from paper
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Annals of Mathematics and Artificial Intelligence
Tentative experiments with ellipsis in mizar
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
| Hi-index | 0.00 |
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.