Results 1  10
of
119
A search engine for mathematical formulae
 Proc. of Artificial Intelligence and Symbolic Computation, number 4120 in LNAI
, 2006
"... Abstract. We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes them with substitution tree indexing, a technique originally developed for accessing intermediate results in a ..."
Abstract

Cited by 39 (3 self)
 Add to MetaCart
Abstract. We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes them with substitution tree indexing, a technique originally developed for accessing intermediate results
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
, 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
MATH GO! PROTOTYPE OF A CONTENT BASED MATHEMATICAL FORMULA SEARCH ENGINE
"... In recent years, mathematical content has started appearing on the web. As with other types of information, search capabilities must be provided to users to retrieve their required information. Conventional textbased search engines fall short of providing mathaware fine grain search. Several effor ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
of mathematical content, as well as their comparison for matching purposes. The results generated by the formula search system must strive to maximize the standard measures of precision, recall. It should also sort the query hits according to some domain specific measure and provide the hits to the user as a
Safety of Formulas in Query Languages, in Arithmetics, and in Set Theory
"... We show that there have been common ideas concerning important properties of formulas which were independently developed in the research on query languages and in some basic mathematical theories, like set theory and formal number theory: finiteness versus limitation of size, effectiveness versus sa ..."
Abstract
 Add to MetaCart
We show that there have been common ideas concerning important properties of formulas which were independently developed in the research on query languages and in some basic mathematical theories, like set theory and formal number theory: finiteness versus limitation of size, effectiveness versus
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
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
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
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
Indexing Mathematical Content Using Full Text Search Engine
, 2008
"... Full text search engines are inseparable part of everyday search for information on the WWW. During the last years it became the main resource of mathematical knowledge. Despite the clear importance of a mathematical search engine, this research eld had been abandoned until very recently. Although c ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
searches like "sin" or "a" would return documents containing sine function and the English noun sin or documents containing variable a and inde nite article a. Moreover, mathematical operators and special notation cannot be expressed in their query languages. In this paper, we present
Parsing TEX into Mathematics
, 1999
"... Communication, storage, transmission, and searching of complex material has become increasingly important. Mathematical computing in a distributed environment is also becoming more plausible as libraries and computing facilities are connected with each other and with user facilities. T E X is a ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Communication, storage, transmission, and searching of complex material has become increasingly important. Mathematical computing in a distributed environment is also becoming more plausible as libraries and computing facilities are connected with each other and with user facilities. T E X is a
Searching for the Best FFT Formulas with the SPL Compiler
, 2001
"... This paper discuss an approach to implementing and optimizing fast signal transforms based on a domain specific computer language, called SPL. SPL programs, which are essentially mathematical formulas, represent matrix factorizations, which provide fast algorithms for computing many important si ..."
Abstract

Cited by 13 (1 self)
 Add to MetaCart
This paper discuss an approach to implementing and optimizing fast signal transforms based on a domain specific computer language, called SPL. SPL programs, which are essentially mathematical formulas, represent matrix factorizations, which provide fast algorithms for computing many important
A Query Language for a Metadata Framework
 In Asperti et al
, 2003
"... Our aim is in the spirit of the Semantic Web: to generate an online database of machineunderstandable mathematical documents, reusing the same methodology and standard technologies, as RDF, mostly based on the exploitation of metadata to improve smart searching and retrieving. In this paper w ..."
Abstract
 Add to MetaCart
we describe the syntax and semantics of a query language which gives access to a search engine capable of retrieving resources on the basis of metainformation: the role of metadata consists in ltering the relevant data.
Results 1  10
of
119