SatisfiabilityCount[bf] counts the number of possible combinations of variable values that yield True when supplied as arguments to the Boolean function ...
Slider
(Built-in Mathematica Symbol) Slider[x] represents a slider with setting x in the range 0 to 1. Slider[Dynamic[x]] takes the setting to be the dynamically updated current value of x, with the value of x ...
StateOutputEstimator[ss, l] constructs an estimator for the StateSpaceModel object ss with estimator gain matrix l.StateOutputEstimator[{ss, sensors}, l] uses only sensors as ...
VertexEccentricity[g, s] gives the length of the longest shortest path from the source s to every other vertex in the graph g.
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 ...
Getting parts of lists. This gives a list of parts 1 and 3. Here is a nested list.
TetGenGetPointMarkers[expr] returns the point markers in a TetGen expression.
ArrayPlot[array] generates a plot in which the values in an array are shown in a discrete array of squares.
DifferenceDelta[f, i] gives the discrete difference \[DifferenceDelta]_i f = f(i + 1) - f(i).DifferenceDelta[f, {i, n}] gives the multiple difference DifferenceDelta[f, {i, ...
DiscreteUniformDistribution[{i_min, i_max}] represents a discrete uniform distribution over the integers from i_min to i_max.DiscreteUniformDistribution[{{i_min, i_max}, ...