Search Results for ""

A map T:(M_1,omega_1)->(M_2,omega_2) between the symplectic manifolds (M_1,omega_1) and (M_2,omega_2) which is a diffeomorphism and T^*(omega_2)=omega_1, where T^* is the ...

A symplectic form on a smooth manifold M is a smooth closed 2-form omega on M which is nondegenerate such that at every point m, the alternating bilinear form omega_m on the ...

Informally, a symplectic map is a map which preserves the sum of areas projected onto the set of (p_i,q_i) planes. It is the generalization of an area-preserving map. ...

A theory is a set of sentences which is closed under logical implication. That is, given any subset of sentences {s_1,s_2,...} in the theory, if sentence r is a logical ...

A logical structure which does not assume the law of the excluded middle. Three truth values are possible: true, false, or undecided. There are 3072 such logics.

A function f:{0,1}^(l(n))×{0,1}^n->{0,1}^(m(n)) is a trapdoor one-way hash function if f is a trapdoor one-way function and is also a one-way hash function, i.e., if, ...

The plane curve given by the equation xy=x^3-a^3, illustrated above for values of a ranging from 0 to 3. For a=0, the trident degenerated to a parabola.

The plane curve given by the equation axy = (a+x)(a-x)(2a-x) (1) = x^3-2ax^2-a^2x+2a^3, (2) which, solving for y, gives y=((a+x)(a-x)(2a-x))/(ax). (3) The plots above are for ...

The cubic curve defined by ax^3+bx^2+cx+d=xy with a!=0. The curve cuts the axis in either one or three points. It was the 66th curve in Newton's classification of cubics. ...

A statement which is rigorously known to be correct. A statement which is not true is called false, although certain statements can be proved to be rigorously undecidable ...