Search Results for ""

The formal term in propositional calculus for the connective implies.

The apodization function A(x)=(1-(x^2)/(a^2))^2. Its full width at half maximum is sqrt(4-2sqrt(2))a. Its instrument function is ...

A subset A of a vector space V is said to be convex if lambdax+(1-lambda)y for all vectors x,y in A, and all scalars lambda in [0,1]. Via induction, this can be seen to be ...

Two bits or half a nibble. Since a crumb encodes values from 0 to 2^2-1=3, it can conveniently be represented using single quaternary digit. However, the term "crumb" is ...

The cube-octahedron 5-compound is a polyhedron compound of the cube 5-compound and its dual, the octahedron 5-compound. It will be implemented in a future version of the ...

A cube 13-compound can be constructed as the dual of the octahedron 13-compound. It will be implemented in a future version of the Wolfram Language as ...

The function f(x)=1-2|x|^(1/2) for x in [-1,1]. The natural invariant is rho(y)=1/2(1-y).

A vector v on a Hilbert space H is said to be cyclic if there exists some bounded linear operator T on H so that the set of orbits {T^iv}_(i=0)^infty={v,Tv,T^2v,...} is dense ...

A rewriting of a given quantity (e.g., a matrix) in terms of a combination of "simpler" quantities.

The study of definable sets and functions in polish spaces.