Search Results for ""

Does there exist an algorithm for deciding whether or not a specific mathematical assertion does or does not have a proof? The decision problem is also known as the ...

A surface of constant negative curvature obtained by twisting a pseudosphere and given by the parametric equations x = acosusinv (1) y = asinusinv (2) z = ...

Let G be an algebraic group. G together with the discrete topology is a locally compact group and one may consider the counting measure as a left invariant Haar measure on G. ...

A coordinate system defined by the transformation equations x = a/Lambdacnmucnnucospsi (1) y = a/Lambdacnmucnnusinpsi (2) z = a/Lambdasnmudnmusnnudnnu, (3) where ...

A number of attractive 2-compounds of the regular dodecahedron can be constructed. The first (left figures) has the symmetry of the cube and arises by combining two regular ...

The evolute of an ellipse specified parametrically by x = acost (1) y = bsint (2) is given by the parametric equations x_e = (a^2-b^2)/acos^3t (3) y_e = (b^2-a^2)/bsin^3t. ...

Elliptic alpha functions relate the complete elliptic integrals of the first K(k_r) and second kinds E(k_r) at elliptic integral singular values k_r according to alpha(r) = ...

Let 0<k^2<1. The incomplete elliptic integral of the third kind is then defined as Pi(n;phi,k) = int_0^phi(dtheta)/((1-nsin^2theta)sqrt(1-k^2sin^2theta)) (1) = ...

A quadratic surface which has elliptical cross section. The elliptic paraboloid of height h, semimajor axis a, and semiminor axis b can be specified parametrically by x = ...

A surface of revolution which is generalization of the ring torus. It is produced by rotating an ellipse having horizontal semi-axis a, vertical semi-axis b, embedded in the ...