Search Results for ""

A clause (i.e., a disjunction of literals) is called a Horn clause if it contains at most one positive literal. Horn clauses are usually written as L_1,...,L_n=>L(=¬L_1 v ... ...

The inversion of a horn torus. If the inversion center lies on the torus, then the horn cyclide degenerates to a parabolic horn cyclide.

The 34 distinct convergent hypergeometric series of order two enumerated by Horn (1931) and corrected by Borngässer (1933). There are 14 complete series for which ...

One of the three standard tori given by the parametric equations x = a(1+cosv)cosu (1) y = a(1+cosv)sinu (2) z = asinv, (3) corresponding to the torus with a=c. It has ...

A method for finding roots of a polynomial equation f(x)=0. Now find an equation whose roots are the roots of this equation diminished by r, so (1) The expressions for f(r), ...

A rule for polynomial computation which both reduces the number of necessary multiplications and results in less numerical instability due to potential subtraction of one ...

Let X={x_1>=x_2>=...>=x_n|x_i in R} (1) and Y={y_1>=y_2>=...>=y_n|y_i in R}. (2) Then there exists an n×n Hermitian matrix with eigenvalues X and diagonal elements Y iff ...

The locus of a point which is derived from a fixed point Q by continuous parallel displacement.

Horowitz reduction is used in indefinite integration to reduce a rational function into polynomial and logarithmic parts. The polynomial part is then trivially integrated, ...

Given a short exact sequence of modules 0->A->B->C->0, (1) let ...->P_2->^(d_2)P_1->^(d_1)P_0->^(d_0)A->0 (2) ...->Q_2->^(f_2)Q_1->^(f_1)Q_0->^(f_0)C->0 (3) be projective ...