Search Results for ""

In accounting, the principal is the original amount borrowed or lent on which interest is then paid or given. The word "principal" is also used in many areas of mathematics ...

A data structure designed to allow repeated extraction of the smallest remaining key (Skiena 1990, p. 38).

If a line intersects one of two parallel lines, both of which are coplanar with the original line, then it must intersect the other also. This axiom is equivalent to the ...

One of the operations exists exists (called the existential quantifier) or for all forall (called the universal quantifier, or sometimes, the general quantifier). However, ...

A random composition of a number n in k parts is one of the (n+k-1; n) possible compositions of n, where (n; k) is a binomial coefficient. A random composition can be given ...

A random partition of a number n is one of the P(n) possible partitions of n, where P(n) is the partition function P. A random partition can be given by RandomPartition[n] in ...

A Young tableau chosen at random from those having a given shape. A random tableau can be generated by RandomTableau[shape] in the Wolfram Language package Combinatorica` . ...

A reflexive graph is a pseudograph such that each vertex has an associated graph loop.

A proof or demonstration is said to be rigorous if the validity of each step and the connections between the steps is explicitly made clear in such a way that the result ...

A conjecture that, as proved by Parshin (1968), implies the Mordell conjecture.