Resolve (Built-in Mathematica Symbol)

Resolve[expr] attempts to resolve expr into a form that eliminates ForAll and Exists quantifiers. Resolve[expr, dom] works over the domain dom. Common choices of dom are ...

WaveletListPlot (Built-in Mathematica Symbol)

WaveletListPlot[dwd] plots wavelet transform coefficients in the DiscreteWaveletData dwd.WaveletListPlot[dwd, wind] plots wavelet transform coefficients corresponding to the ...

LetterQ (Built-in Mathematica Symbol)

LetterQ[string] yields True if all the characters in the string are letters, and yields False otherwise.

Combinatorica (Combinatorica Package Tutorial)

Combinatorica extends Mathematica by over 450 functions in combinatorics and graph theory. It includes functions for constructing graphs and other combinatorial objects, ...

StringQ (Built-in Mathematica Symbol)

StringQ[expr] gives True if expr is a string, and False otherwise.

StringReplace (Built-in Mathematica Symbol)

StringReplace["string", s -> sp] or StringReplace["string", {s_1 -> sp_1, s_2 -> sp_2, ...}] replaces the string expressions s_i by sp_i whenever they appear as substrings of ...

ToLowerCase (Built-in Mathematica Symbol)

ToLowerCase[string] yields a string in which all letters have been converted to lowercase.

ForAll (Built-in Mathematica Symbol)

ForAll[x, expr] represents the statement that expr is True for all values of x. ForAll[x, cond, expr] states that expr is True for all x satisfying the condition cond. ...

TreeForm (Built-in Mathematica Symbol)

TreeForm[expr] displays expr as a tree with different levels at different depths. TreeForm[expr, n] displays expr as a tree only down to level n.

Machine-Precision Numbers (Mathematica Tutorial)

Whenever machine-precision numbers appear in a calculation, the whole calculation is typically done in machine precision. Mathematica will then give machine-precision numbers ...