Search Results for ""

Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then an atomic statement ...

One of the eight convex deltahedra built up from 16 equilateral triangles. It consists of two oppositely faced square pyramids rotated 45 degrees to each other and separated ...

A hexecontahedron is a 60-faced polyhedron. Examples include the deltoidal hexecontahedron, rhombic hexecontahedron, and triakis icosahedron. Counting the faces produced by ...

100=10^2. Madachy (1979) gives a number of algebraic equations using the digits 1 to 9 which evaluate to 100, such as (7-5)^2+96+8-4-3-1 = 100 (1) 3^2+91+7+8-6-5-4 = 100 (2) ...

The evolute of a hyperbola with parametric equations x = acosht (1) y = bsinht (2) is x_e = ((a^2+b^2))/acosh^3t (3) y_e = -((a^2+b^2))/bsinh^3t, (4) which is similar to a ...

The surface with parametric equations x = (sinhvcos(tauu))/(1+coshucoshv) (1) y = (sinhvsin(tauu))/(1+coshucoshv) (2) z = (coshvsinh(u))/(1+coshucoshv), (3) where tau is the ...

There are a number of algebraic equations known as the icosahedral equation, all of which derive from the projective geometry of the icosahedron. Consider an icosahedron ...

The Kampyle of Eudoxus is a curve studied by Eudoxus in relation to the classical problem of cube duplication. It is given by the polar equation r=asec^2theta, (1) and the ...

A generalization of the Runge-Kutta method for solution of ordinary differential equations, also called Rosenbrock methods.

Given a function of the form y=Ax^B, (1) least squares fitting gives the coefficients as b = ...