Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

Trott's Corner Mathematical Searching of The Wolfram Functions Site

Michael Trott
Organization: Wolfram Research, Inc.
Department: Scientific Information Group
Journal / Anthology

The Mathematica Journal
Year: 2005
Volume: 9
Issue: 4
Page range: 713-726

The Wolfram Functions Site functions.wolfram.com contains the largest collection of identities for elementary and special functions ever assembled. The site is generated from a set of Mathematica notebooks with typeset versions of all identities. The notebooks contain about 90,000 mathematical formulas. Because Mathematica notebooks are structured ASCII files that can be processed and manipulated programmatically by the Mathematica kernel, Mathematica can read and "understand" the formulas. Therefore, Mathematica can completely analyze and classify all the identities with respect to their mathematical structure and the functions that occur in them. The results of this analysis allow us to build a semantic search engine for mathematical identities. I will discuss the backend of the current mathematical search interface deployed on the Wolfram Functions site.

*Mathematics > Calculus and Analysis > Special Functions
*Wolfram Technology > Linking Technology
*Wolfram Technology > Programming > Equation Solving
*Wolfram Technology > Programming > Symbolic Computation