Access the full text.
Sign up today, get DeepDyve free for 14 days.
Abdou Youssef (2007)
Methods of Relevance Ranking and Hit-content Generation in Math Search
M. Bernstein (1971)
Computer input/output of two-dimensional notations
O. Caprotti, D. Carlisle (1999)
OpenMath and MathML: semantic markup for mathematicsXRDS, 6
A. Sexton, V. Sorge (2006)
Abstract matrices in symbolic computation
M. Altamimi, Abdou Youssef (2007)
A More Canonical Form of Content MathML to Facilitate Math Search
M. Kohlhase, I. Sucan (2006)
A Search Engine for Mathematical Formulae
Robert Miner, Rajesh Munavalli (2007)
An Approach to Mathematical Search Through Query Formulation and Data Normalization
Michael Brundage (2004)
XQuery: The XML Query Language
B. Miller, Abdou Youssef (2003)
Technical Aspects of the Digital Library of Mathematical FunctionsAnnals of Mathematics and Artificial Intelligence, 38
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of the challenges involve enabling search systems to recognize mathematical symbols and structures. Several math search projects have made considerable progress in meeting those challenges. One of the remaining challenges is the creation and implementation of a math query language that enables the general users to express their information needs intuitively yet precisely. This paper will present such a language and detail its features. The new math query language offers an alternative way to describe mathematical expressions that is more consistent and less ambiguous than conventional mathematical notation. In addition, the language goes beyond the Boolean and proximity query syntax found in standard text search systems. It defines a powerful set of wildcards that are deemed important for math search. These wildcards provide for more precise structural search and multi-levels of abstractions. Three new sets of wildcards and their implementation details will also be discussed.
Mathematics in Computer Science – Springer Journals
Published: Dec 5, 2008
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.