Mathematical Searching in the Wolfram Functions Site

Monday, April 26, 2004 - 11:00am - 11:30am
Keller 3-180
Michael Trott (Wolfram Research, Inc.)
In this talk I will give an overview over the Wolfram Functions site. The website is generated from a set of Mathematica notebooks. Mathematica notebooks are structured ASCII files, that can be processed and manipulated by the Mathematica kernel. The notebooks contain about 90,000 mathematical formulas about elementary and special functions in typeset form. Because the formulas are readable and understandable by Mathematica, it is possible for the software to completely analyze and classify them with respect to their mathematical structure and occurring functions. A first version of a mathematical search interface to be deployed on the website will be shown and demonstrated.

Statement of Interest: My interest in searching of mathematics arises from my work on the Wolfram Functions site This collection currently contains 80,000 mathematical formulas and will increase to more than one million formulas over the next few years. Despite the strict hierarchical ordering used on the site, a search capability based on the mathematical content of the identities is needed for advanced human calculations and and mechanized computer mathematics.