Formula Search is an experimental feature developed for the Wolfram Functions Site. It provides an efficient way to carry out
semantic-based algorithmic searches of a large database of mathematical identities.
Note the following Formula Search tips:
Searches only return identities that literally contain the
selected functions (e.h., identities containing
cos(x) are not returned carrying out a search for
exp(x)).
Sums and products are separate entities; they are not
automatically considered expressions which contain
Plus and Times.
The "Search for similar formulas" options try to find semantically
and structurally similar identities. The original search
criteria are not taken into account for this type of search.
There are two options to restrict the search results so that they
only contian certain classes of functions. When the "Elementary functions only" box is checked,
the search is limited to the classical elementary functions,
compositions thereof, and their inverses. "Integer functions only," restricts the search to
integer functions. In addition, the complex components, Plus, Times, and Power are allowed in
these two filtrations.
The Mathematica patterns specified in the
text fields, are interpreted literally.
The patterns are not evaluated in the search (e.g., 22/11 will not return matches for 2).
