Recognition and retrieval of mathematical expressions

Document recognition and retrieval technologies complement one another, providing improved access to increasingly large document collections. While recognition and retrieval of textual information is fairly mature, with wide-spread availability of optical character recognition and text-based search engines, recognition and retrieval of graphics such as images, figures, tables, diagrams, and mathematical expressions are in comparatively early stages of research. This paper surveys the state of the art in recognition and retrieval of mathematical expressions, organized around four key problems in math retrieval (query construction, normalization, indexing, and relevance feedback), and four key problems in math recognition (detecting expressions, detecting and classifying symbols, analyzing symbol layout, and constructing a representation of meaning). Of special interest is the machine learning problem of jointly optimizing the component algorithms in a math recognition system, and developing effective indexing, retrieval and relevance feedback algorithms for math retrieval. Another important open problem is developing user interfaces that seamlessly integrate recognition and retrieval. Activity in these important research areas is increasing, in part because math notation provides an excellent domain for studying problems common to many document and graphics recognition and retrieval applications, and also because mature applications will likely provide substantial benefits for education, research, and mathematical literacy.

[1]  Jin Hyung Kim,et al.  Utilizing Consistency Context for Handwritten Mathematical Expression Recognition , 2009, 2009 10th International Conference on Document Analysis and Recognition.

[2]  Dorothea Blostein,et al.  RECOGNITION OF MATHEMATICAL NOTATION , 1997 .

[3]  David G. Stork,et al.  Pattern Classification , 1973 .

[4]  Utpal Garain,et al.  EMERS: a tree matching–based performance evaluation of mathematical expression recognition systems , 2010, International Journal on Document Analysis and Recognition (IJDAR).

[5]  Kevin Barraclough,et al.  I and i , 2001, BMJ : British Medical Journal.

[6]  Ryo Yamamoto,et al.  Stroke-Based Stochastic Context-Free Grammar for On-line Handwritten Mathematical Expression Recognition , 2006 .

[7]  Prudence W. Dalrymple,et al.  User-centered evaluation of information retrieval , 1991 .

[8]  Paul A. Viola,et al.  Ambiguity and Constraint in Mathematical Expression Recognition , 1998, AAAI/IAAI.

[9]  Stephen M. Watt,et al.  On the Conversion between Content MathML and OpenMath , 2008 .

[10]  Masayuki Okamoto,et al.  Performance evaluation of a mathematical formula recognition system with a large scale of printed formula images , 2006, Second International Conference on Document Image Analysis for Libraries (DIAL'06).

[11]  Dit-Yan Yeung,et al.  PenCalc: a novel application of on-line mathematical expression recognition technology , 2001, Proceedings of Sixth International Conference on Document Analysis and Recognition.

[12]  Joseph J. LaViola,et al.  MathPad2: a system for the creation and exploration of mathematical sketches , 2004, ACM Trans. Graph..

[13]  George Kingsley Zipf,et al.  Human behavior and the principle of least effort , 1949 .

[14]  Marti A. Hearst Search User Interfaces , 2009 .

[15]  Dorothea Blostein,et al.  Mathematics recognition using graph rewriting , 1995, Proceedings of 3rd International Conference on Document Analysis and Recognition.

[16]  Daniel P. Lopresti,et al.  Evaluating document analysis results via graph probing , 2001, Proceedings of Sixth International Conference on Document Analysis and Recognition.

[17]  Stina Westman Image Users' Needs and Searching Behaviour , 2009, Information Retrieval.

[18]  Masakazu Suzuki,et al.  Capturing Abstract Matrices from Paper , 2006, MKM.

[19]  Kensaku Mori,et al.  An on-line handwritten mathematical equation recognition system that can process matrix expressions by referring to the relative positions of matrix elements , 2006 .

[20]  Giovanni Soda,et al.  Mathematical Symbol Indexing Using Topologically Ordered Clusters of Shape Contexts , 2009, 2009 10th International Conference on Document Analysis and Recognition.

[21]  Yoshinori Miyazaki,et al.  Development of information-retrieval tool for MathML-based math expressions , 2008 .

[22]  Dit-Yan Yeung,et al.  Error detection, error correction and performance evaluation in on-line mathematical expression recognition , 2001, Pattern Recognit..

[23]  Stephen M. Watt,et al.  Context Sensitive Mathematical Character Recognition , 2008 .

[24]  Stephen M. Watt,et al.  Determining Empirical Characteristics of Mathematical Expression Use , 2005, MKM.

[25]  R. Manmatha,et al.  Word spotting for historical documents , 2006, International Journal of Document Analysis and Recognition (IJDAR).

[26]  Stephen M. Watt,et al.  Communicating Mathematics via Pen-Based Interfaces , 2008, 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

[27]  Michael Kohlhase,et al.  MathWebSearch 0 . 4 A Semantic Search Engine for Mathematics , 2008 .

[28]  Philip A. Chou,et al.  Document Image Decoding Using Markov Source Models , 1994, IEEE Trans. Pattern Anal. Mach. Intell..

[29]  James Arvo,et al.  Aiding Manipulation of Handwritten Mathematical Expressions through Style-Preserving Morphs , 2001, Graphics Interface.

[30]  Hideki Hashimoto,et al.  Incorporating breadth first search for indexing MathML objects , 2008, 2008 IEEE International Conference on Systems, Man and Cybernetics.

[31]  Akiko Aizawa,et al.  An Approach to Similarity Search for Mathematical Expressions using MathML , 2009 .

[32]  Bruce R. Miller,et al.  Technical Aspects of the Digital Library of Mathematical Functions , 2003, Annals of Mathematics and Artificial Intelligence.

[33]  James Ze Wang,et al.  Image retrieval: Ideas, influences, and trends of the new age , 2008, CSUR.

[34]  Thomas M. Breuel,et al.  Performance Evaluation and Benchmarking of Six-Page Segmentation Algorithms , 2008, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[35]  Bidyut Baran Chaudhuri,et al.  A corpus for OCR research on mathematical expressions , 2004, International Journal of Document Analysis and Recognition (IJDAR).

[36]  Yoav Freund,et al.  A decision-theoretic generalization of on-line learning and an application to boosting , 1995, EuroCOLT.

[37]  Michael Kohlhase,et al.  OMDoc - An Open Markup Format for Mathematical Documents [version 1.2] , 2006, Lecture Notes in Computer Science.

[38]  Stefan M. Rüger,et al.  Multimedia Resource Discovery , 2009, Advanced Topics in Information Retrieval.

[39]  George Labahn,et al.  Managing ambiguity in mathematical matrices , 2007, SBIM '07.

[40]  Andrea Asperti,et al.  A Content Based Mathematical Search Engine: Whelp , 2004, TYPES.

[41]  Edward Lank,et al.  User Interfaces for On-Line Diagram Recognition , 2001, GREC.

[42]  Masakazu Suzuki,et al.  Mathematical symbol recognition with support vector machines , 2007, Pattern Recognit. Lett..

[43]  Raúl Rojas,et al.  Recognition of on-line handwritten mathematical formulas in the E-chalk system , 2003, Seventh International Conference on Document Analysis and Recognition, 2003. Proceedings..

[44]  Masakazu Suzuki,et al.  Identifying Subscripts and Superscripts in Mathematical Documents , 2008, Math. Comput. Sci..

[45]  Richard Zanibbi,et al.  Applying compiler techniques to diagram recognition , 2002, Object recognition supported by user interaction for service robots.

[46]  Masakazu Suzuki,et al.  Infty Editor : A Mathematics Typesetting Tool with a Handwriting Interface and a Graphical Front-End to OpenXM Servers (Computer Algebra : Algorithms, Implementations and Applications) , 2003 .

[47]  Utpal Garain,et al.  Identification of Mathematical Expressions in Document Images , 2009, 2009 10th International Conference on Document Analysis and Recognition.

[48]  Florian Cajori,et al.  A history of mathematical notations , 1928 .

[49]  Rajesh Munavalli,et al.  An Approach to Mathematical Search Through Query Formulation and Data Normalization , 2007, Calculemus/MKM.

[50]  David G. Stork,et al.  Pattern Classification (2nd ed.) , 1999 .

[51]  Minoru Okada,et al.  A fundamental study of output translation from layout recognition and semantic understanding system for mathematical formulae , 2005, Eighth International Conference on Document Analysis and Recognition (ICDAR'05).

[52]  T. W. Chaundy,et al.  Rules for Compositors and Readers at the University Press, Oxford , 1928, Nature.

[53]  Masakazu Suzuki,et al.  Syntactic Detection and Correction of Misrecognitions in Mathematical OCR , 2009, 2009 10th International Conference on Document Analysis and Recognition.

[54]  F. Cajori A history of mathematics , 1989 .

[55]  UchidaSeiichi,et al.  Mathematical symbol recognition with support vector machines , 2008 .

[56]  Keith Price Review of "TEX and METAFONT, New Directions in Typesetting by Donald Knuth", Digital Press and the American Mathematical Society. , 1980, SGAR.

[57]  Thomas Wisniewski,et al.  Xpress: A Novice Interface for the Real-Time Communication of Mathematical Expressions , 2007 .

[58]  Nicholas J. Higham,et al.  Handbook of writing for the mathematical sciences , 1993 .

[59]  John Davies,et al.  Information Retrieval: Searching in the 21st Century , 2009, Information Retrieval.

[60]  Ihsin T. Phillips Methodologies for using UW databases for OCR and image-understanding systems , 1998, Electronic Imaging.

[61]  Harold Mouchère,et al.  Stroke-Based Performance Metrics for Handwritten Mathematical Expressions , 2011, 2011 International Conference on Document Analysis and Recognition.

[62]  Bruce W. Char,et al.  Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation , 2007 .

[63]  Paul A. Viola,et al.  Efficient geometric algorithms for parsing in two dimensions , 2005, Eighth International Conference on Document Analysis and Recognition (ICDAR'05).

[64]  Stephane Lavirotte Optical formula recognition , 1997, Proceedings of the Fourth International Conference on Document Analysis and Recognition.

[65]  Kenneth R. Koedinger,et al.  Adapting handwriting recognition for applications in algebra learning , 2007, Emme '07.

[66]  Marcel Worring,et al.  Content-Based Image Retrieval at the End of the Early Years , 2000, IEEE Trans. Pattern Anal. Mach. Intell..

[67]  Andrea Bunt,et al.  MathBrush: a case study for pen-based interactive mathematics , 2008, SBM'08.

[68]  W. Beyer CRC Standard Mathematical Tables and Formulae , 1991 .

[69]  Stephen M. Watt,et al.  Online computation of similarity between handwritten characters , 2009, Electronic Imaging.

[70]  Joseph J. LaViola,et al.  Online recognition of handwritten mathematical expressions with support for matrices , 2008, 2008 19th International Conference on Pattern Recognition.

[71]  Claudio Gutierrez,et al.  Survey of graph database models , 2008, CSUR.

[72]  Rajesh Munavalli,et al.  MathFind: a math-aware search engine , 2006, SIGIR '06.

[73]  James H. Davenport,et al.  Unifying Math Ontologies: A Tale of Two Standards , 2009, Calculemus/MKM.

[74]  Richard J. Fateman,et al.  Progress in recognizing typeset mathematics , 1996, Electronic Imaging.

[75]  Jin Hyung Kim,et al.  Efficient search strategy in structural analysis for handwritten mathematical expression recognition , 2009, Pattern Recognit..

[76]  Volker Sorge,et al.  Abstract matrices in symbolic computation , 2006, ISSAC '06.

[77]  Masakazu Suzuki,et al.  An Integrated OCR Software for Mathematical Documents and Its Output with Accessibility , 2004, ICCHP.

[78]  Hans-Jürgen Winkler,et al.  HMM-based handwritten symbol recognition using on-line and off-line features , 1996, 1996 IEEE International Conference on Acoustics, Speech, and Signal Processing Conference Proceedings.

[79]  James Arvo,et al.  Equation entry and editing via handwriting and gesture recognition , 2001, Behav. Inf. Technol..

[80]  James Arvo,et al.  A Handwritting-Based Equation Editor , 1999, Graphics Interface.

[81]  Otis Gospodnetic,et al.  Lucene in Action , 2004 .

[82]  Godfried T. Toussaint,et al.  The use of context in pattern recognition , 1978, Pattern Recognit..

[83]  Hsi-Jian Lee,et al.  Design of a mathematical expression understanding system , 1997, Pattern Recognit. Lett..

[84]  William A. Martin,et al.  Computer input/output of mathematical expressions , 1971, SYMSAC '71.

[85]  Michael Kohlhase,et al.  Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge , 2007, Calculemus/MKM.

[86]  George Labahn,et al.  MathBrush: A System for Doing Math on Pen-Based Devices , 2008, 2008 The Eighth IAPR International Workshop on Document Analysis Systems.

[87]  Peter Graf Substitution Tree Indexing , 1995, RTA.

[88]  Jacques Carette,et al.  A Review of Mathematical Knowledge Management , 2009, Calculemus/MKM.

[89]  Dit-Yan Yeung,et al.  A simple yet robust structural approach for recognizing on-line handwritten alphanumeric characters , 1998 .

[90]  Joseph J. LaViola,et al.  MathPad2: a system for the creation and exploration of mathematical sketches , 2004, SIGGRAPH 2004.

[91]  George Nagy,et al.  HIERARCHICAL REPRESENTATION OF OPTICALLY SCANNED DOCUMENTS , 1984 .

[92]  R. Yamamoto,et al.  On-Line Recognition of Handwritten Mathematical Expression Based on Stroke-Based Stochastic Context-Free Grammar , 2006 .

[93]  Muhammad Adeel,et al.  MATH GO! PROTOTYPE OF A CONTENT BASED MATHEMATICAL FORMULA SEARCH ENGINE , 2008 .

[94]  Joseph J. LaViola,et al.  MathPaper: Mathematical Sketching with Fluid Support for Interactive Computation , 2008, Smart Graphics.

[95]  R. H. Anderson,et al.  Two-Dimensional Mathematical Notation , 1977 .

[96]  John A. Fitzgerald,et al.  Mathpad: A Fuzzy Logic-Based Recognition System for Handwritten Mathematics , 2007, Ninth International Conference on Document Analysis and Recognition (ICDAR 2007).

[97]  Sargur N. Srihari,et al.  On-Line and Off-Line Handwriting Recognition: A Comprehensive Survey , 2000, IEEE Trans. Pattern Anal. Mach. Intell..

[98]  R. Furuta,et al.  TEX and METAFONT, new directions in typesetting , 1983, Proceedings of the IEEE.

[99]  Kanahori Toshihiro,et al.  A Recognition Method of Matrices by Using Variable Block Pattern Elements Generating Rectangular Area , 2001, GREC.

[100]  Daniel P. Lopresti,et al.  Evaluating the performance of table processing algorithms , 2002, International Journal on Document Analysis and Recognition.

[101]  Michael McGill,et al.  Introduction to Modern Information Retrieval , 1983 .

[102]  鈴木 昌和,et al.  Infty Editor--A Mathematics Typesetting Tool with a Handwriting Interface and a Graphical Front-End to OpenXM Servers (Computer Algebra--Algorithms, Implementations and Applications 研究集会報告集) , 2003 .

[103]  Thierry Artières,et al.  On-line handwritten documents segmentation , 2004, Ninth International Workshop on Frontiers in Handwriting Recognition.

[104]  Frank K. Soong,et al.  A Unified Framework for Symbol Segmentation and Recognition of Handwritten Mathematical Expressions , 2007, Ninth International Conference on Document Analysis and Recognition (ICDAR 2007).

[105]  Marko Panic Math Handwriting Recognition in Windows 7 and Its Benefits , 2009, Calculemus/MKM.

[106]  Frank Wm. Tompa,et al.  Improving Mathematics Retrieval , 2009 .

[107]  Abdou Youssef,et al.  An extensive math query language , 2007, SEDE.

[108]  Bidyut Baran Chaudhuri,et al.  Recognition of online handwritten mathematical expressions , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[109]  Raúl Rojas,et al.  Recognition of On-line Handwritten Mathematical Expressions Using a Minimum Spanning Tree Construction and Symbol Dominance , 2003, GREC.

[110]  William Pearlman,et al.  Visual Communications and Image Processing IV , 1989 .

[111]  Michael Kohlhase,et al.  MathDox : mathematical documents on the web , 2006 .

[112]  Andrea Bunt,et al.  Friend or foe?: examining CAS use in mathematics research , 2009, CHI.

[113]  Richard Zanibbi,et al.  Recognizing Mathematical Expressions Using Tree Transformation , 2002, IEEE Trans. Pattern Anal. Mach. Intell..

[114]  Shigeo Abe DrEng Pattern Classification , 2001, Springer London.

[115]  Richard Zanibbi,et al.  Keyword and image-based retrieval of mathematical expressions , 2011, Electronic Imaging.

[116]  Djoerd Hiemstra,et al.  Information Retrieval Models , 2009, Information Retrieval.

[117]  Eric Lecolinet,et al.  A Survey of Methods and Strategies in Character Segmentation , 1996, IEEE Trans. Pattern Anal. Mach. Intell..

[118]  Raúl Rojas,et al.  A survey on recognition of on-line handwritten mathematical notation , 2007 .

[119]  Paul Solomon,et al.  Looking for Information—A Survey of Research on Information Seeking, Needs, and Behavior , 2003, Information Retrieval.

[120]  R. Manmatha,et al.  Word image matching using dynamic time warping , 2003, 2003 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2003. Proceedings..

[121]  Michael Kohlhase,et al.  An Open Markup Format for Mathematical Documents , 2010 .

[122]  Stephen M. Watt,et al.  Mathematical Markup Language (MathML) Version 3.0 , 2001, WWW 2001.

[123]  Abdou Youssef,et al.  Equivalence detection using parse-tree normalization for math search , 2007, 2007 2nd International Conference on Digital Information Management.

[124]  Gerhard Rigoll,et al.  On-line handwritten formula recognition using statistical methods , 1998, Proceedings. Fourteenth International Conference on Pattern Recognition (Cat. No.98EX170).

[125]  昌和 鈴木,et al.  A Ground-Truthed Mathematical Character and Symbol Image Database , 2005 .

[126]  Joseph J. LaViola,et al.  A Practical Approach for Writer-Dependent Symbol Recognition Using a Writer-Independent Symbol Recognizer , 2007, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[127]  Hinrich Schütze,et al.  Introduction to information retrieval , 2008 .

[128]  Masakazu Suzuki,et al.  Detection of matrices and segmentation of matrix elements in scanned images of scientific documents , 2003, Seventh International Conference on Document Analysis and Recognition, 2003. Proceedings..

[129]  George Labahn,et al.  Grammar-based techniques for creating ground-truthed sketch corpora , 2010, International Journal on Document Analysis and Recognition (IJDAR).

[130]  T. W. Chaundy,et al.  The Printing of Mathematics , 1954 .

[131]  David S. Doermann,et al.  The Indexing and Retrieval of Document Images: A Survey , 1998, Comput. Vis. Image Underst..

[132]  Kensaku Mori,et al.  A system for real-time recognition of handwritten mathematical formulas , 2001, Proceedings of Sixth International Conference on Document Analysis and Recognition.

[133]  Nicholas E. Matsakis Recognition of Handwritten Mathematical Expressions , 1999 .

[134]  Michael Kohlhase,et al.  Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search , 2007, Calculemus/MKM.

[135]  Dit-Yan Yeung,et al.  An efficient syntactic approach to structural analysis of on-line handwritten mathematical expressions , 2000, Pattern Recognit..

[136]  Horst Bunke,et al.  Handbook of Character Recognition and Document Image Analysis , 1997 .

[137]  Edward Lank,et al.  Treatment of Diagrams in Document Image Analysis , 2000, Diagrams.

[138]  Gerhard O. Michler,et al.  Report on the retrodigitization project “Archiv der Mathematik” , 2001 .

[139]  Tomoichi Takahashi,et al.  A study of symbol segmentation method for handwritten mathematical formula recognition using mathematical structure information , 2004, Proceedings of the 17th International Conference on Pattern Recognition, 2004. ICPR 2004..

[140]  Masayuki Okamoto,et al.  Performance evaluation of a robust method for mathematical expression recognition , 2001, Proceedings of Sixth International Conference on Document Analysis and Recognition.

[141]  George Nagy,et al.  Twenty Years of Document Image Analysis in PAMI , 2000, IEEE Trans. Pattern Anal. Mach. Intell..

[142]  Masakazu Suzuki,et al.  Mathematical formula recognition using virtual link network , 2001, Proceedings of Sixth International Conference on Document Analysis and Recognition.

[143]  Masakazu Suzuki,et al.  Refinement of digitized documents through recognition of mathematical formulae , 2006, Second International Conference on Document Image Analysis for Libraries (DIAL'06).

[144]  Stephen M. Watt,et al.  Improved classification through runoff elections , 2010, DAS '10.

[145]  Henry S. Baird,et al.  Distinguishing mathematics notation from English text using computational geometry , 2005, Eighth International Conference on Document Analysis and Recognition (ICDAR'05).

[146]  John A. Fitzgerald,et al.  An Online Fuzzy Approach to the Structural Analysis of Handwritten Mathematical Expressions , 2006, 2006 IEEE International Conference on Fuzzy Systems.

[147]  Volker Sorge,et al.  Towards a Parser for Mathematical Formula Recognition , 2006, MKM.

[148]  Harold Mouchère,et al.  Towards Handwritten Mathematical Expression Recognition , 2009, 2009 10th International Conference on Document Analysis and Recognition.

[149]  Richard Zanibbi,et al.  Baseline structure analysis of handwritten mathematics notation , 2001, Proceedings of Sixth International Conference on Document Analysis and Recognition.

[150]  Masayuki Okamoto,et al.  Structure analysis and recognition of mathematical expressions , 1995, Proceedings of 3rd International Conference on Document Analysis and Recognition.

[151]  Vladimir N. Vapnik,et al.  The Nature of Statistical Learning Theory , 2000, Statistics for Engineering and Information Science.

[152]  Volker Sorge,et al.  Faithful mathematical formula recognition from PDF documents , 2010, DAS '10.

[153]  Dorothea Blostein,et al.  Issues in Performance Evaluation: A Case Study of Math Recognition , 2009, 2009 10th International Conference on Document Analysis and Recognition.

[154]  Gerhard O. Michler How to Build a Prototype for a Distributed Digital Mathematics Archive Library , 2004, Annals of Mathematics and Artificial Intelligence.

[155]  Robert M. Haralick,et al.  A Statistical, Nonparametric Methodology for Document Degradation Model Validation , 2000, IEEE Trans. Pattern Anal. Mach. Intell..

[156]  P. A. Chou,et al.  Recognition of Equations Using a Two-Dimensional Stochastic Context-Free Grammar , 1989, Other Conferences.

[157]  Volker Sorge,et al.  A Linear Grammar Approach to Mathematical Formula Recognition from PDF , 2009, Calculemus/MKM.

[158]  Joseph J. LaViola,et al.  Evaluation of techniques for visualizing mathematical expression recognition results , 2008, Graphics Interface.

[159]  Masakazu Suzuki,et al.  INFTY: an integrated OCR system for mathematical documents , 2003, DocEng '03.

[160]  Stephen M. Watt,et al.  Distance-based classification of handwritten symbols , 2010, International Journal on Document Analysis and Recognition (IJDAR).

[161]  Utpal Garain,et al.  OCR of Printed Mathematical Expressions , 2007 .

[162]  Masakazu Suzuki,et al.  Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar , 2008, AISC/MKM/Calculemus.

[163]  Ling Zhang,et al.  Using fuzzy logic to analyze superscript and subscript relations in handwritten mathematical expressions , 2005, Eighth International Conference on Document Analysis and Recognition (ICDAR'05).

[164]  Lawrence R. Rabiner,et al.  A tutorial on hidden Markov models and selected applications in speech recognition , 1989, Proc. IEEE.

[165]  Pia Borlund,et al.  User-Centred Evaluation of Information Retrieval Systems , 2009, Information Retrieval.

[166]  Paul Libbrecht,et al.  Methods to Access and Retrieve Mathematical Content in ActiveMath , 2006, ICMS.

[167]  Mohamed Ben Ahmed,et al.  Automatic extraction of printed mathematical formulas using fuzzy logic and propagation of context , 2001, International Journal on Document Analysis and Recognition.

[168]  Jesse F Hull Recognition of mathematics using a two-dimensional trainable context-free grammar , 1996 .

[169]  Kim Marriott,et al.  A survey of visual language specification and recognition , 1998 .

[170]  Alfred V. Aho,et al.  The awk programming language , 1988 .

[171]  Giovanni Soda,et al.  Mathematical Symbol Indexing , 2009, AI*IA.

[172]  Richard J. Fateman,et al.  Searching techniques for integral tables , 1995, ISSAC '95.

[173]  Li Yu,et al.  Math Spotting: Retrieving Math in Technical Documents Using Handwritten Query Images , 2011, 2011 International Conference on Document Analysis and Recognition.

[174]  Stephen M. Watt An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts , 2008, 2008 The Eighth IAPR International Workshop on Document Analysis Systems.

[175]  Hanan Samet,et al.  Foundations of multidimensional and metric data structures , 2006, Morgan Kaufmann series in data management systems.

[176]  Michael Kohlhase,et al.  A Search Engine for Mathematical Formulae , 2006, AISC.

[177]  Robert H. Anderson Syntax-directed recognition of hand-printed two-dimensional mathematics , 1967, Symposium on Interactive Systems for Experimental Applied Mathematics.

[178]  Jin Zhao,et al.  Math information retrieval: user requirements and prototype implementation , 2008, JCDL '08.

[179]  Frank K. Soong,et al.  Symbol graph based discriminative training and rescoring for improved math symbol recognition , 2008, 2008 IEEE International Conference on Acoustics, Speech and Signal Processing.

[180]  Shi-Kuo Chang,et al.  A method for the structural analysis of two-dimensional mathematical expressions , 1970, Inf. Sci..

[181]  Kensaku Mori,et al.  An on-line handwritten mathematical equation recognition system that can process matrix expressions by referring to the relative positions of matrix elements , 2006, Systems and Computers in Japan.

[182]  Li Yu,et al.  Math Spotting in Technical Documents Using Handwritten Queries , 2009 .

[183]  Richard J. Fateman,et al.  Optical character recognition for typeset mathematics , 1994, ISSAC '94.

[184]  R. D. Carmichael,et al.  Mathematical tables and formulae , 1958 .

[185]  Jitendra Malik,et al.  Shape matching and object recognition using shape contexts , 2010, 2010 3rd International Conference on Computer Science and Information Technology.

[186]  Masayuki Okamoto,et al.  An Experimental Implementation of a Document Recognition System for Papers Containing Mathematical Expressions , 1992 .

[187]  Morton I. Bernstein Computer input/output of two-dimensional notations , 1971, SYMSAC '71.

[188]  Harold Mouchère,et al.  The Problem of Handwritten Mathematical Expression Recognition Evaluation , 2010, 2010 12th International Conference on Frontiers in Handwriting Recognition.

[189]  Thomas S. Huang,et al.  Relevance feedback in image retrieval: A comprehensive review , 2003, Multimedia Systems.

[190]  Richard Zanibbi,et al.  Recognition Tasks Are Imitation Games , 2005, ICAPR.

[191]  Mike Dewar OpenMath: an overview , 2000, SIGS.

[192]  Dit-Yan Yeung,et al.  Mathematical expression recognition: a survey , 2000, International Journal on Document Analysis and Recognition.

[193]  Daniel Zwillinger,et al.  CRC standard mathematical tables and formulae; 30th edition , 1995 .