Search Results for ""

A function, or the symbol representing a function, which corresponds to English conjunctions such as "and," "or," "not," etc. that takes one or more truth values as input and ...

There are several meanings of the word content in mathematics. The content of a polytope or other n-dimensional object is its generalized volume (i.e., its "hypervolume"). ...

A planar polygon is convex if it contains all the line segments connecting any pair of its points. Thus, for example, a regular pentagon is convex (left figure), while an ...

Let a, b, and c be the side lengths of a reference triangle DeltaABC. Now let A_b be a point on the extension of the segment CA beyond A such that AA_b=a. Similarly, define ...

The covariant derivative of a contravariant tensor A^a (also called the "semicolon derivative" since its symbol is a semicolon) is given by A^a_(;b) = ...

Let F be the Maclaurin series of a meromorphic function f with a finite or infinite number of poles at points z_k, indexed so that 0<|z_1|<=|z_2|<=|z_3|<=..., then a pole ...

Consider the distribution of distances l between a point picked at random in the interior of a unit cube and on a face of the cube. The probability function, illustrated ...

The cubitruncated cuboctahedron (called the cubotruncated cuboctahedron by Wenninger 1971, p. 121) is the uniform polyhedron with Maeder index 16 (Maeder 1997), Wenninger ...

A coordinate system composed of intersecting surfaces. If the intersections are all at right angles, then the curvilinear coordinates are said to form an orthogonal ...

The cut elimination theorem, also called the "Hauptsatz" (Gentzen 1969), states that every sequent calculus derivation can be transformed into another derivation with the ...