Mathematica's unified symbolic architecture allows immediate generalization of part-oriented list operations to arbitrary expressions —supporting operations both on ...

Just as the equation x^2+3x==2 asserts that x^2+3x is equal to 2, so also the inequality x^2+3x>2 asserts that x^2+3x is greater than 2. In Mathematica, Reduce works not only ...

JordanDecomposition[m] yields the Jordan decomposition of a square matrix m. The result is a list {s, j} where s is a similarity matrix and j is the Jordan canonical form of ...

Mathematica's symbolic architecture supports a highly generalized notion of assignment, in which you can specify a transformation for any class of expressions defined by a ...

Compile[{x_1, x_2, ...}, expr] creates a compiled function that evaluates expr assuming numerical values of the x_i. Compile[{{x_1, t_1}, ...}, expr] assumes that x_i is of a ...

You can use the Mathematica function DSolve to find symbolic solutions to ordinary and partial differential equations. Solving a differential equation consists essentially in ...

FindInstance[expr, vars] finds an instance of vars that makes the statement expr be True. FindInstance[expr, vars, dom] finds an instance over the domain dom. Common choices ...

Unicode: F522. Alias: Esc -> Esc. Infix operator with built-in evaluation rules. x  y is by default interpreted as x->y or Rule[x,y]. x  y  z groups as x  (y  z). ...

Mathematica's notebook interface is a very powerful typesetting system that allows you to enter formulas as they are written in mathematical literature, using two-dimensional ...

ZTransform[expr, n, z] gives the Z transform of expr. ZTransform[expr, {n_1, n_2, ...}, {z_1, z_2, ...}] gives the multidimensional Z transform of expr.