Processing textbook-style matrices

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3863 LNAI, Issue , 2006, Pages 111-125

  Sexton, Alan ^a   Sorge, Volker ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); MATHEMATICAL TECHNIQUES; MATRIX ALGEBRA; SEMANTICS; TEXTBOOKS;

COMPUTER ALGEBRA SYSTEM; ELLIPSES; MATHEMATICAL OBJECTS; MATRIX EXPRESSIONS;

TEXT PROCESSING;

EID: 33745640028     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11618027_8     Document Type: Conference Paper

References (9)

1. B. W. Char, K. O. Geddes, G. H. Gonnet, B. Leong, M. B. Monagan, and S. M. Watt. Maple V: Language Reference Manual. Springer, 1991.
2. R. Fateman. Manipulation of matrices symbolically. Available from http://http.cs.berkeley.edu/fateman/papers/symmat2.pdf, January 9 2003.
3. M. Fitting. First-Order Logic and Automated Theorem Proving. Springer, 1990.
4. A. Heck. Maple Manuals. Springer, 3rd ed., 2003.
5. R. Horn and C. Johnson. Matrix Analysis. Cambridge University Press, 1990.
6. T. Kanahori and M. Suzuki. A recognition method of matrices by using variable block pattern elements generating rectangular areas, In Graphics Recognition, LNCS 2390. Springer, 2002.
7. M. Pollet, V. Sorge, and M. Kerber. Intuitive and formal representations: The case of matrices. In Proceedings of MKM-2004, LNCS 3119. Springer, 2004.
8. A. Sexton and V. Sorge, Semantic analysis of matrix structures. To appear in International Conference, in Document Analysis and Recognition. IAPR, 2005.
9. W. Snyder. A Proof Theory for General Unification, volume 11 of Progress in Computer Science and Applied Logic. Birkhäuser, 1991.