Search Results for ""

Let phi(x_1,...,x_m) be an L_(exp) formula, where L_(exp)=L union {e^x} and L is the language of ordered rings L={+,-,·,<,0,1}. Then there exist n>=m and f_1,...,f_s in ...

Given an expression involving known constants, integration in finite terms, computation of limits, etc., the constant problem is the determination of if the expression is ...

A formula of first-order logic is said to be in Skolemized form (sometimes also called Skolem standard form or universal form) if it is of the form forall x_1... forall x_nM, ...

The functions describing the horizontal and vertical positions of a point on a circle as a function of angle (cosine and sine) and those functions derived from them: cotx = ...

The hyperbolic functions sinhz, coshz, tanhz, cschz, sechz, cothz (hyperbolic sine, hyperbolic cosine, hyperbolic tangent, hyperbolic cosecant, hyperbolic secant, and ...

By the definition of the functions of trigonometry, the sine of pi is equal to the y-coordinate of the point with polar coordinates (r,theta)=(1,pi), giving sinpi=0. ...

By the definition of the functions of trigonometry, the sine of pi/2 is equal to the y-coordinate of the point with polar coordinates (r,theta)=(1,pi/2), giving sin(pi/2)=1. ...

An equation is a mathematical expression stating that two or more quantities are the same as one another, also called an equality, formula, or identity.

A universal sentence is a sentence (i.e., formula of the predicate calculus without free variables) whose variables are universally quantified.

Let psi = 1+phi (1) = 1/2(3+sqrt(5)) (2) = 2.618033... (3) (OEIS A104457), where phi is the golden ratio, and alpha = lnphi (4) = 0.4812118 (5) (OEIS A002390). Define the ...