Search Results for ""

A specific type of ultraproduct that can be used to construct nonstandard universes and obtain the transfer principle as a corollary of Łoś' theorem for ultraproducts.

A set of sample problems in unconstrained optimization is given by loading Optimization`UnconstrainedProblems` and evaluating $FindMinimumProblems.

In the American system, 10^(36).

A statistical distribution such as the normal distribution which has a single "peak."

The property of being the only possible solution (perhaps modulo a constant, class of transformation, etc.).

Capable of taking on exactly one possible value.

A function of a single variable (e.g., f(x), g(z), theta(xi), etc.).

A polynomial in a single variable, e.g., P(x)=a_2x^2+a_1x+a_0, as opposed to a multivariate polynomial.

If A is true unless B, then not-B implies A, but B does not necessarily imply not-A.

A formula whose truth table contains only false in any interpretation is called unsatisfiable.