Search Results for ""

Let G be a subgroup of the modular group Gamma. Then an open subset R_G of the upper half-plane H is called a fundamental region of G if 1. No two distinct points of R_G are ...

There are two camps of thought on the meaning of general recursive function. One camp considers general recursive functions to be equivalent to the usual recursive functions. ...

A triple (a,b,c) of positive integers satisfying a<b<c is said to be geometric if ac=b^2. In particular, such a triple is geometric if its terms form a geometric sequence ...

A triple (a,b,c) of positive integers satisfying a<b<c is said to be harmonic if 1/a+1/c=2/b. In particular, such a triple is harmonic if the reciprocals of its terms form an ...

A heptahedron is a polyhedron with seven faces. Because there are 34 heptahedral graphs, there are 34 topologically distinct convex heptahedra. There are three semiregular ...

"Implies" is the connective in propositional calculus which has the meaning "if A is true, then B is also true." In formal terminology, the term conditional is often used to ...

The inner Soddy center (or inner Soddy point) is the center of the inner Soddy circle. It is equivalent to the equal detour point X_(175) (Kimberling 1994) and has equivalent ...

The invertible matrix theorem is a theorem in linear algebra which gives a series of equivalent conditions for an n×n square matrix A to have an inverse. In particular, A is ...

Let mu(sigma) be the least upper bound of the numbers A such that |zeta(sigma+it)|t^(-A) is bounded as t->infty, where zeta(s) is the Riemann zeta function. Then the Lindelöf ...

NAND, also known as the Sheffer stroke, is a connective in logic equivalent to the composition NOT AND that yields true if any condition is false, and false if all conditions ...