Search Results for ""

A symbol used to represent a Boolean statement in logic that can take the value either true or false. All statement letters are statements forms (Mendelson 1997, p. 13).

The structure constant is defined as iepsilon_(ijk), where epsilon_(ijk) is the permutation symbol. The structure constant forms the starting point for the development of Lie ...

The ultraradical symbol is a notation thet can be used to express solutions not obtainable by finite root extraction. The solution to the irreducible quintic equation x^5+x=a ...

For any two nonzero p-adic numbers a and b, the Hilbert symbol is defined as (a,b)={1 if z^2=ax^2+by^2 has a nonzero solution; -1 otherwise. (1) If the p-adic field is not ...

The tilde is the mark "~" placed on top of a symbol to indicate some special property. x^~ is voiced "x-tilde." The tilde symbol is commonly used to denote an operator. In ...

A q-series is series involving coefficients of the form (a;q)_n = product_(k=0)^(n-1)(1-aq^k) (1) = product_(k=0)^(infty)((1-aq^k))/((1-aq^(k+n))) (2) = ...

The Wigner 6j-symbols (Messiah 1962, p. 1062), commonly simply called the 6j-symbols, are a generalization of Clebsch-Gordan coefficients and Wigner 3j-symbol that arise in ...

In a normal n×n Latin square, the entries in each row and column are chosen from a "global" set of n objects. Like a Latin square, a partial Latin square has no two rows or ...

"Aut" is the term applied in propositional calculus to the XOR connective. "Aut" is Latin form for "either/or (but not both)," e.g., "Aut Caesar aut nihil" (Cesare Borgia; ...

An n-dimensional closed disk of radius r is the collection of points of distance <=r from a fixed point in n-dimensional Euclidean space. Krantz (1999, p. 3) uses the symbol ...