States in the Hilbert space formulation and in the phase space formulation of quantum mechanics

► Methods of testing whether a given matrix represents a quantum state. ► The Stratonovich-Weyl correspondence on an arbitrary symplectic manifold. ► Criteria for checking whether a function on a symplectic space is a Wigner function.