Processing Textbook-Style Matrices
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations available in electronic form they have to be interpreted correctly. We present an algorithm that provides the interface between the textbook style representation of matrix expressions and their concrete interpretation as formal mathematical objects. Given an underspecified matrix containing ellipses and fill symbols, our algorithm extracts the semantic information contained. Matrices are interpreted as a collection of regions that can be interpolated with a particular term structure. The effectiveness of our procedure is demonstrated with an implementation in the computer algebra system Maple.
KeywordsInterpolation Function Input Matrix Concrete Term Mathematical Text Weighted Directed Graph
Unable to display preview. Download preview PDF.
- 1.Char, B.W., Geddes, K.O., Gonnet, G.H., Leong, B., Monagan, M.B., Watt, S.M.: Maple V: Language Reference Manual. Springer, Heidelberg (1991)Google Scholar
- 2.Fateman, R.: Manipulation of matrices symbolically (January 9 2003), Available from http://http.cs.berkeley.edu/~fateman/papers/symmat2.pdf
- 4.Heck, A.: Maple Manuals, 3rd edn. Springer, Heidelberg (2003)Google Scholar
- 6.Kanahori, T., Suzuki, M.: A recognition method of matrices by using variable block pattern elements generating rectangular areas. In: Blostein, D., Kwon, Y.-B. (eds.) GREC 2001. LNCS, vol. 2390, p. 320. Springer, Heidelberg (2002)Google Scholar
- 8.Sexton, A., Sorge, V.: Semantic analysis of matrix structures. In: International Conference in Document Analysis and Recognition. IAPR (2005) (to appear)Google Scholar
- 9.Snyder, W.: A Proof Theory for General Unification, Birkhäuser. Progress in Computer Science and Applied Logic, vol. 11 (1991)Google Scholar