TautologyQ[bf] gives True if all combinations of values of variables make the Boolean function bf yield True.TautologyQ[expr, {a_1, a_2, ...}] gives True if all combinations ...

Min[x_1, x_2, ...] yields the numerically smallest of the x_i. Min[{x_1, x_2, ...}, {y_1, ...}, ...] yields the smallest element of any of the lists.

CFunction[type, name, args, body] is a symbolic representation of a function definition.CFunction[type, name, args] is a symbolic representation of a function declaration.

Cycles is an optional argument for the function Involutions.

Recognize is now available as the newly added built-in Mathematica kernel function RootApproximant.

Grad[f] gives the gradient, \[Del]f, of the scalar function f in the default coordinate system. Grad[f, coordsys] gives the gradient of f in the coordinate system coordsys.

Mathematica allows any front end command to be executed programmatically from within the kernel by sending an appropriate front end token. There are tokens for all standard ...

Mathematica gives you the ability to fine-tune the level of detail for your plots. To get a rough sketch of a plot, you can tell Mathematica to plot fewer points. The more ...

Unicode: 2218. Alias: Esc sc Esc. Infix operator. x ∘ y is by default interpreted as SmallCircle[x,y]. Used to indicate function composition. Not the same as the letter-like ...

Unicode: 22C1. Alias: Esc v Esc. Infix operator. x ⋁ y is by default interpreted as Vee[x,y]. Used to indicate various notions of joining, and as a dual of \[Wedge]. Not the ...