Search Results for ""

The branch of formal logic, also called functional calculus, that deals with representing the logical connections between statements as well as the statements themselves.

If f(x) is a nonconstant integer polynomial and c is an integer such that f(c) is divisible by the prime p, that p is called a prime divisor of the polynomial f(x) (Nagell ...

The primitive part of a polynomial P(x) is P(x)/k, where k is the content. For a general univariate polynomial P(x), the Wolfram Language function FactorTermsList[poly, x] ...

An ideal I of a ring R is called principal if there is an element a of R such that I=aR={ar:r in R}. In other words, the ideal is generated by the element a. For example, the ...

An extension of an arbitrary field F of the form F(sqrt(1+lambda^2)), where lambda in F.

The set of projective projectively extended real numbers. Unfortunately, the notation is not standardized, so the set of affinely extended real numbers, denoted here R^_, is ...

A rational polynomial is a polynomial having rational coefficients. While the term "rational polynomial" is sometimes used as a synonym for rational function, this usage is ...

Let H be a subgroup of G. A subset T of elements of G is called a right transversal of H if T contains exactly one element of each right coset of H.

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 knot which tightens around an object when strained but slackens when the strain is removed. Running knots are sometimes also known as slip knots or nooses.