Re:Search On Math
by rhambasan on Wednesday February 18, 2015 @03:37PM
(#9070773)
We, at KWARC, developed a search engine capable of searching arXiv, see [1]. It can search latex-style formulae and CMML formulae.
In addition, one can also use "query variables", which means that if I search for, e.g., "?a + ?a" (?a is a query variable), I will get all sums of two equal terms.
?a could be an integral, a fancy function, or just a one-letter variable.
In addition, one can also use "query variables", which means that if I search for, e.g., "?a + ?a" (?a is a query variable), I will get all sums of two equal terms. ?a could be an integral, a fancy function, or just a one-letter variable.
[1] http://arxivsearch.mathweb.org