Reduce[expr, vars] reduces the statement expr by solving equations or inequalities for vars and eliminating quantifiers. Reduce[expr, vars, dom] does the reduction over the ...

Mathematica allows Greek letters to be integrated into symbol names, strings, graphics, and text. Greek letters can be input from palettes or by using keyboard shortcuts.

Mathematica uses its knowledge of the symbolic structure of your input to display it with semantics-directed syntax coloring and other forms of styling. You can use options ...

Mathematica has the world's largest collection of consistent multifont mathematical notation characters—all fully integrated into both typesetting and symbolic expression ...

 

 

 

As of Version 8, much of the functionality covered by Combinatorica has been implemented in the Mathematica kernel. BooleanAlgebra CodeToLabeledTree HasseDiagram ...

Cot[z] gives the cotangent of z.

DiscretePlot[expr, {n, n_max}] generates a plot of the values of expr when n runs from 1 to n_max.DiscretePlot[expr, {n, n_min, n_max}] generates a plot of the values of expr ...