Abstract matrices in symbolic computation

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn 2006, Issue , 2006, Pages 318-325

  Sexton, Alan ^a   Sorge, Volker ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

Constraints; Semantic Analysis; Underspecified Matrices

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTATIONAL METHODS; CONSTRAINT THEORY; NUMERICAL ANALYSIS; SEMANTICS;

ABSTRACT MATRICES; CONCRETE MATRICES; SEMANTIC ANALYSIS; UNDERSPECIFIED MATRICES;

MATRIX ALGEBRA;

EID: 33748958626     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1145768.1145820     Document Type: Conference Paper

References (8)

1. Maple 10 User Manual. Maplesoft, 2005.
2. R. Fateman. Manipulation of matrices symbolically. Available from http://http.cs.berkeley.edu/~fateman/papers/symmat2.pdf, 2003.
3. A. Heck. Maple Manuals. Springer, 3rd edition, 2003.
4. G. Huet. Résolution d'équations dans les langages d'ordre 1, 2,...,ω. PhD thesis, Univ. de Paris VII, 1976.
5. T. Kanahori and M. Suzuki. A recognition method of matrices by using variable block pattern elements generating rectangular areas. GREC-02, LNCS 2390, p. 320-329. Springer, 2002.
6. A. Mercer and A. Rosenfeld. An array grammar programming system. CACM, 16(5):299-305, 1973.
7. A. Sexton and V. Sorge. Processing textbook-style matrices. MKM'05, LNCS 3863. Springer, 2006.
8. A. Sexton and V. Sorge. Semantic analysis of matrix structures. In ICDAR'05, p. 1141-1145. IEEE Computer Society, 2005.