Search Results for ""

Let a spherical triangle Delta have angles A, B, and C. Then the spherical excess is given by Delta=A+B+C-pi.

For x>0, J_0(x) = 2/piint_0^inftysin(xcosht)dt (1) Y_0(x) = -2/piint_0^inftycos(xcosht)dt, (2) where J_0(x) is a zeroth order Bessel function of the first kind and Y_0(x) is ...

A generalization of Schröter's formula.

The area Delta (sometimes also denoted sigma) of a triangle DeltaABC with side lengths a, b, c and corresponding angles A, B, and C is given by Delta = 1/2bcsinA (1) = ...

For any set theoretic formula f(x,t_1,t_2,...,t_n), In other words, for any formula and set A there is a subset of A consisting exactly of those elements which satisfy the ...

An equation or formula involving transcendental functions.

An occurrence of a variable in a logic formula which is not inside the scope of a quantifier.

An operator definition of a function. A Rodrigues formula may be converted into a Schläfli integral.

A formula of first-order logic is in prenex normal form if it is of the form Q_1x_1...Q_nx_nM, (1) where each Q_i is a quantifier forall ("for all") or exists ("exists") and ...

A sentence is a logic formula in which every variable is quantified. The concept of a sentence is important because formulas with variables that are not quantified are ...