Search Results for ""

An operator in logic which returns either true or false.

A formula is called satisfiable if it takes at least one true value in some interpretation.

The general type of homology which is what mathematicians generally mean when they say "homology." Singular homology is a more general version than Poincaré's original ...

A tangent point of two similar curves.

A function defined for all possible input values.

A curve which intersects some straight line in an infinity of points (but for which not every point lies on this curve).

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

Capable of taking on exactly one possible value.

The symbol v variously means "disjunction" (i.e., OR in logic) or "join" (for a lattice).

Transitivity is a result of the symmetry in the group. A group G is called transitive if its group action (understood to be a subgroup of a permutation group on a set Omega) ...