Assuming[assum, expr] evaluates expr with assum appended to $Assumptions, so that assum is included in the default assumptions used by functions such as Refine, Simplify, and ...

Mathematica uses a large number of original algorithms to provide automatic systemwide support for inequalities and inequality constraints. Whereas equations can often be ...

Mathematica provides detailed symbolic control over all aspects of text layout. Placing separate blocks or paragraphs in separate cells also immediately allows Mathematica's ...

Mathematica's dynamic interactivity system makes it easy to view and annotate any object in a dynamic way. Building on Mathematica's symbolic programming architecture, ...

ArrayComponents[array] gives an array in which all identical elements of array are replaced by an integer index representing the component in which the element ...

Defer[expr] yields an object that displays as the unevaluated form of expr, but that is evaluated if it is explicitly given as Mathematica input.

Extract[expr, list] extracts the part of expr at the position specified by list. Extract[expr, {list_1, list_2, ...}] extracts a list of parts of expr. Extract[expr, list, h] ...

LineIndent is an option for Style and Cell that specifies how many ems of indentation to add at the beginnings of lines for each level of nesting in an expression.

PackingMethod is an option for GraphPlot and related functions which specifies how disconnected components should be packed together in the layout produced.

PadLeft[list, n] makes a list of length n by padding list with zeros on the left. PadLeft[list, n, x] pads by repeating the element x. PadLeft[list, n, {x_1, x_2, ...}] pads ...