First-order logic and automated theorem proving
First-order logic and automated theorem proving
A proof theory for general unification
A proof theory for general unification
GREC '01 Selected Papers from the Fourth International Workshop on Graphics Recognition Algorithms and Applications
Design of a mathematical expression recognition system
ICDAR '95 Proceedings of the Third International Conference on Document Analysis and Recognition (Volume 2) - Volume 2
Structure analysis and recognition of mathematical expressions
ICDAR '95 Proceedings of the Third International Conference on Document Analysis and Recognition (Volume 1) - Volume 1
Detection of Matrices and Segmentation of Matrix Elements in Scanned Images of Scientific Documents
ICDAR '03 Proceedings of the Seventh International Conference on Document Analysis and Recognition - Volume 1
Abstract matrices in symbolic computation
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Graphical reasoning in compact closed categories for quantum computation
Annals of Mathematics and Artificial Intelligence
Capturing abstract matrices from paper
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Processing textbook-style matrices
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Hi-index | 0.01 |
The automatic interpretation of mathematical text structures has received only limited attention so far. While there has been work on the particularities of the character recognition of two dimensional formulas such as matrices in texts, very little has been done on exploiting their additional semantics in order to make them available for further processing. We present an algorithm that provides the interface between the recognition of matrix expressions and their concrete interpretation as mathematical objects. Given an underspecified matrix representation as they commonly appear in textbooks, 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 algorithm can be demonstrated by its ability to derive concrete instances for the processed matrix representations in a symbolic computation system.