Search Results for ""

A coordinate system (mu,nu,psi) defined by the coordinate transformation x = (munu)/((mu^2+nu^2)^2)cospsi (1) y = (munu)/((mu^2+nu^2)^2)sinpsi (2) z = ...

A coordinate system (mu,nu,psi) given by the coordinate transformation x = (mucospsi)/(mu^2+nu^2) (1) y = (musinpsi)/(mu^2+nu^2) (2) z = nu/(mu^2+nu^2) (3) and defined for ...

Every smooth manifold M has a tangent bundle TM, which consists of the tangent space TM_p at all points p in M. Since a tangent space TM_p is the set of all tangent vectors ...

The Church-Rosser theorem states that lambda calculus as a reduction system with lambda conversion rules satisfies the Church-Rosser property.

A system in which words (expressions) of a formal language can be transformed according to a finite set of rewrite rules is called a reduction system. While reduction systems ...

The time required for a given principal to double (assuming n=1 conversion period) for compound interest is given by solving 2P=P(1+r)^t, (1) or t=(ln2)/(ln(1+r)), (2) where ...

The Euclidean plane parametrized by coordinates, so that each point is located based on its position with respect to two perpendicular lines, called coordinate axes. They are ...

The tangent space at a point p in an abstract manifold M can be described without the use of embeddings or coordinate charts. The elements of the tangent space are called ...

The canonical bundle is a holomorphic line bundle on a complex manifold which is determined by its complex structure. On a coordinate chart (z_1,...z_n), it is spanned by the ...

A knot K embedded in R^3=C_z×R_t, where the three-dimensional space R^3 is represented as a direct product of a complex line C with coordinate z and a real line R with ...