Search Results for ""

The Bevan circle, sometimes also called the excentral circle, is the circumcircle of the excentral triangle of the reference triangle, i.e., it is the circle passing through ...

Let P be a point with trilinear coordinates alpha:beta:gamma=f(a,b,c):f(b,c,a):f(c,ab) and P^' be a point with trilinear coordinates ...

The bicommutant theorem is a theorem within the field of functional analysis regarding certain topological properties of function algebras. The theorem says that, given a ...

The finite zeros of the derivative r^'(z) of a nonconstant rational function r(z) that are not multiple zeros of r(z) are the positions of equilibrium in the field of force ...

If a continuous function defined on an interval is sometimes positive and sometimes negative, it must be 0 at some point. Bolzano (1817) proved the theorem (which effectively ...

The Byzantine generals problem considers a computer with many programs running, some of them possibly unfriendly, and asks how the computer can function properly. More ...

The Cauchy remainder is a different form of the remainder term than the Lagrange remainder. The Cauchy remainder after n terms of the Taylor series for a function f(x) ...

An Cesàro equation is a natural equation which expresses a curve in terms of its arc length function s(t) and radius of curvature rho(t) (or equivalently, the curvature ...

A generalization of Grassmann coordinates to m-D algebraic varieties of degree d in P^n, where P^n is an n-dimensional projective space. To define the Chow coordinates, take ...

Church proved several important theorems that now go by the name Church's theorem. One of Church's theorems states that there is no consistent decidable extension of Peano ...