Design of a digital mathematical library for science, technology and education

Lozier, Daniel W.; Miller, Bruce R.; Saunders, Bonita V.

doi:10.1109/adl.1999.777704

Cited by 10 publications

(3 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In structural Mapping, the expression's parse tree structure [20] will be changed after Mapping. For example, the parse tree for the expression (x+y) +z before the Mapping is illustrated in Figure 1.…”

Section: Definition Of Mappingmentioning

confidence: 99%

Expanded Grammar for Detecting Equivalence in Math Expressions

Shatnawi¹,

Alquran²,

Quiam³

2012

IJCA

View full text Add to dashboard Cite

huge amount of different types of information are being posted on the web on a daily basis; therefore, searching capabilities should be provided to help users in finding their requested information. Locating a specific type of information within large repositories of disparate data becomes difficult, if not impossible, without specialized information retrieval systems. Traditional or text-based search engines do not achieve the level of success that users seek in retrieving structured information (e.g. mathematical information). For example, when a user searches for x(y+z) using Google, Google retrieves documents that contain xyz, x+y=z, (x+y+z) =xyz or any other document that contains x, y, and/or z, but not x(y+z) as a standalone expression. The reason behind this is that Google uses the textbased search capabilities/ Algorithms that depend, mostly, on techniques for matching and probabilities of occurrences of x, y, and z. The major obstacle of math search in current text search systems is that those systems do not differentiate between a user query that contains a mathematical expression, and any other query that contains text terms. Therefore, those text-based search systems process mathematical expressions as other texts, regardless of its nature whether being well-structured or not. Here in this context, the text search process will be refined to be applicable in searching for a mathematical expression by implementing a system that is responsible for detecting equivalent math expressions. In fact, more algorithms will be added to the Information Retrieval System in order to make it suitable to do search for a mathematical expression as well as other forms of text.

show abstract

Section: Definition Of Mappingmentioning

confidence: 99%

Expanded Grammar for Detecting Equivalence in Math Expressions

Shatnawi¹,

Alquran²,

Quiam³

2012

IJCA

View full text Add to dashboard Cite

show abstract

“…Such repositories are growing in size and number. They include: the DLMF [18,19,29]; MBase [16]; Mizar (at mizar.org); and so on.…”

Section: Computer-aided Provingmentioning

confidence: 99%

“…It will probably be much more useful to the mathematical and scientific communities to have math-aware fine-grain search systems. The author has been conducting research and development on that kind of search [29,39]; much of that effort is part of the Digital Library of Mathematical Functions (DLMF) project [18,19,29]. The immediate goal of the research on math search is to create math-aware systems that (1) enable users to search not only for text, but also for fine-grain mathematical data, such as equations, functions, and structures; and (2) allow users to express math queries naturally and easily, using the notation and idiom of mathematicians and scientists.…”

Section: Introductionmentioning

confidence: 99%

Roles of Math Search in Mathematics

Youssef

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Math-aware fine-grain search is expected to be widely available. A key question is what roles it can play in mathematics. It will be argued that, besides finding information, math search can help advance and manage mathematical knowledge. This paper will present the short-term goals and state of the art of math-aware fine-grain search. Afterwards, it will focus on how math search can help advance and manage mathematical knowledge, and discuss what needs to be done to fulfill those roles, emphasizing two key components. The first is similarity search, and how it applies to (1) discovering and drawing upon connections between different fields, and (2) proof development. The second is math metadata, which math search will surely encourage and benefit from, and which will be pivotal to mathematical knowledge management.

show abstract

Relevance Ranking and Hit Description in Math Search

Youssef

2008

Math.Comput.Sci.

View full text Add to dashboard Cite

As math becomes available in digital libraries and on the Web, math search has been receiving some research attention. To be effective and useful, math search systems must not only recognize math symbols and structures in queries and contents, but also present the search hits in a form that enables the user to identify quickly the truly relevant hits. To meet the latter requirement, the hits must be sorted according to domain-appropriate relevance criteria, and each hit ought to be accompanied with a query-relevant brief description, or summary, of its target.In conventional text information retrieval systems, hits are ranked using relevance metrics that rely mostly on keyword frequencies and document sizes. Such metrics are inadequate in math search. Therefore, new relevance measures must be defined, which take into account math-specific factors. In this paper, new relevance metrics are defined for math search, methods for computing and implementing them are discussed, and comparative performance evaluation results are presented.Query-relevant hit-summary generation is another factor that enables users to quickly determine the relevance of the presented hits. Hit titles accompanied by several leading sentences from the target document are often inadequate to convey to the user the relevant contents of the hit. This paper presents alternative query-relevant hit-summary generation methods, outlines implementation strategies, and presents performance evaluation results.

show abstract

Design of a digital mathematical library for science, technology and education

Cited by 10 publications

References 7 publications

Expanded Grammar for Detecting Equivalence in Math Expressions

Expanded Grammar for Detecting Equivalence in Math Expressions

Roles of Math Search in Mathematics

Relevance Ranking and Hit Description in Math Search

Contact Info

Product

Resources

About