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 ...
VectorAngle[u, v] gives the angle between the vectors u and v.
Converting between strings, boxes, and expressions. Here is a simple expression. This gives the InputForm of the expression as a string.
If you have an equation like 2x==0, it is perfectly clear that the only possible solution is x->0. However, if you have an equation like ax==0, things are not so clear. If a ...
Throughout any computation, Mathematica maintains an evaluation stack containing the expressions it is currently evaluating. You can use the function Stack to look at the ...
SQLTableTypeNames[conn] returns the types of table supported in an SQL connection.
ZipfDistribution[\[Rho]] represents a zeta distribution with parameter \[Rho].ZipfDistribution[n, \[Rho]] represents a Zipf distribution with range n.
The utility functions FindMinimumPlot and FindRootPlot show search data for FindMinimum and FindRoot for one- and two-dimensional functions. They work with essentially the ...
ChanVeseBinarize[image] finds a two-level segmentation of image by computing optimal contours around regions of consistent intensity in image.ChanVeseBinarize[image, marker] ...
f' represents the derivative of a function f of one argument. Derivative[n_1, n_2, ...][f] is the general form, representing a function obtained from f by differentiating n_1 ...