Results 1  10
of
13
Recognition and Retrieval of Mathematical Expressions
 INTERNATIONAL JOURNAL ON DOCUMENT ANALYSIS AND RECOGNITION
"... 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 widespread availability of Optical Character Recognition (OCR) and textbased ..."
Abstract

Cited by 31 (10 self)
 Add to MetaCart
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 widespread availability of Optical Character Recognition (OCR) and textbased 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.
Bootstrapping a semantic wiki application for learning mathematics
 In Sure and Schaffert
"... de (German), and the virtual community site ..."
(Show Context)
Extending full text search engine for mathematical content
 Towards Digital Mathematics Library. Birmingham, United Kingdom, July
, 2008
"... Abstract. The WWW became the main resource of mathematical knowledge. Currently available full text search engines can be used on these documents but they are deficient in almost all cases. By applying axioms, equal transformations, and by using different notation each formula can be expressed in ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
(Show Context)
Abstract. The WWW became the main resource of mathematical knowledge. Currently available full text search engines can be used on these documents but they are deficient in almost all cases. By applying axioms, equal transformations, and by using different notation each formula can be expressed in numerous ways. Most of these documents do not contain semantic information; therefore, precise mathematical interpretation is impossible. On the other hand, semantic information can help to give more precise information. In this work we address these issues and present a new technique how to search for mathematical formulae in realworld mathematical documents, but still offering an extensible level of mathematical awareness. It exploits the advantages of full text search engine and stores each formula not only once but in several generalised representations. Because it is designed as an extension, any full text search engine can adopt it. Based on the proposed theory we developed EgoMath—new mathematical search engine. Experiments with EgoMath over two document sets, containing semantic information, showed that this technique can be used to build a fullyfledged mathematical search engine. Key words: mathematical discourse, language processing, mathematical searching, full text search engine, indexing 1
Algorithm, Performance
"... We report on the user requirements study and preliminary implementation phases in creating a digital library that indexes and retrieves educational materials on math. We first review the current approaches and resources for math retrieval, then report on the interviews of a small group of potential ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
(Show Context)
We report on the user requirements study and preliminary implementation phases in creating a digital library that indexes and retrieves educational materials on math. We first review the current approaches and resources for math retrieval, then report on the interviews of a small group of potential users to properly ascertain their needs. While preliminary, the results suggest that metasearch and resource categorization are two basic requirements for a math search engine. In addition, we implement a prototype categorization system and show that the generic features work well in identifying the math contents from the webpage but perform less well at categorizing them. We discuss our long term goals, where we plan to investigate how math expressions and text search may be best integrated.
Knowledge Archives in Theorema: A LogicInternal Approach
"... Archives are implemented as an extension of Theorema for representing mathematical repositories in a natural way. An archive can be conceived as one large formula in a language consisting of higherorder predicate logic together with a few constructs for structuring knowledge: attaching labels to ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
(Show Context)
Archives are implemented as an extension of Theorema for representing mathematical repositories in a natural way. An archive can be conceived as one large formula in a language consisting of higherorder predicate logic together with a few constructs for structuring knowledge: attaching labels to subhierarchies, disambiguating symbols by the use of namespaces, importing symbols from other namespaces and specifying the domains of categories and functors as namespaces with variable operations. All these constructs are logicinternal in the sense that they have a natural translation to higherorder logic so that certain aspects of Mathematical Knowledge Management can be realized in the object logic itself. There are a variety of operations on archives, though in this paper we can only sketch a few of them: knowledge retrieval and theory exploration, merging and splitting, insertion and translation to predicate logic.
MathWebSearch 0.4: A semantic search engine for mathematics. (unpublished manuscript
, 2008
"... Abstract. We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations of formulae and indexes them with substitution tree indexing. In version 0.4 we have parallelized and distributed the search server and augmented the web interface wi ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Abstract. We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations of formulae and indexes them with substitution tree indexing. In version 0.4 we have parallelized and distributed the search server and augmented the web interface with a new JavaScriptbased visual editor for content math formulae. Furthermore, we have extended the query language by generalization, variants, unification, and text search facilities, which can also be mixed. Our experiments show that this architecture results in a scalable application. 1
T.: Integrated Semantic Math I/O in ActiveMath: an Evaluation
 in Proceedings of the 2007 Mathematical UserInterface Workshop
, 2007
"... The ActiveMath system is a webbased learning environment that integrates static mathematical content and interactive exercises with evaluated mathematical input from learners. Mathematical formulæ in ActiveMath are encoded in OpenMath and presented with regional notations. Users can input formul ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
The ActiveMath system is a webbased learning environment that integrates static mathematical content and interactive exercises with evaluated mathematical input from learners. Mathematical formulæ in ActiveMath are encoded in OpenMath and presented with regional notations. Users can input formulæ using the same notations via a formula editor or using plaintext input. Input to the editor is assisted by allowing users to copy formulæ from other parts of ActiveMath. In this paper we will describe how all these components are integrated and work within the system. We will then discuss recent evaluations of the formulæ input methods run within the LeActiveMath project in Malaga and Edinburgh. The results indicate that, even though the assisted input methods provided by the Formula Editor and copyandpaste are appreciated by users the most popular input method remains the plain text input fields. Proposals are made for how direct input of text can be facilitated and assisted in future formulæ input systems.
A Query Language for Formal Mathematical Libraries
 Intelligent Computer Mathematics
, 2012
"... Abstract. One of the most promising applications of mathematical knowledge management is search: Even if we restrict attention to the tiny fragment of mathematics that has been formalized, the amount exceeds the comprehension of an individual human. Based on the generic representation language MMT, ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. One of the most promising applications of mathematical knowledge management is search: Even if we restrict attention to the tiny fragment of mathematics that has been formalized, the amount exceeds the comprehension of an individual human. Based on the generic representation language MMT, we introduce the mathematical query language QMT: It combines simplicity, expressivity, and scalability while avoiding a commitment to a particular logical formalism. QMT can integrate various search paradigms such as unification, semantic web, or XQuery style queries, and QMT queries can span different mathematical libraries. We have implemented QMT as a part of the MMT API. This combination provides a scalable indexing and query engine that can be readily applied to any library of mathematical knowledge. While our focus here is on libraries that are available in a content markup language, QMT naturally extends to presentation and narration markup languages.
A Review on Artificial Intelligence in Special Education
"... Abstract. Innovative educational technologies have started to open new ways of interacting with students with special educational needs (SEN). Amongst the most effective approaches during the last decade (20012010) are those based on Artificial Intelligence (A.I.) techniques. The effective applicat ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. Innovative educational technologies have started to open new ways of interacting with students with special educational needs (SEN). Amongst the most effective approaches during the last decade (20012010) are those based on Artificial Intelligence (A.I.) techniques. The effective application of A.I. methods is seen as a means of improving the quality of life of SEN learners. Hence, a need for introducing A.I. techniques arises in order to develop both diagnosis and intervention processes. This paper presents a brief overview of the most representative studies of the past ten years, used for the above purposes.