
We develop a complete theory of nonformal deformation quantization
exhibiting a nonzero minimal uncertainty in position. An appropriate integral
formula for the starproduct is introduced together with a suitable space of
functions on which the starproduct is well defined. Basic properties of the
starproduct are proved and the extension of the starproduct to a certain
Hilbert space and an algebra of distributions is given. A C*algebra of
observables and a space of states are constructed. Moreover, an operator
representation in momentum space is presented. Finally, examples of position
eigenvectors and states of maximal localization are given.

We perform a detailed analysis of the behavior of coherent and squeezed
states undergoing time evolution. We calculate time dependence of expectation
values of position and momentum in coherent and squeezed states (which can be
interpreted as quantum trajectories in coherent and squeezed states) and
examine how coherence and squeezing is affected during time development,
calculating time dependence of position and momentum uncertainty. We focus our
investigations on two quantum systems. First we consider quantum linear system
with Hamiltonian quadratic in $q$ and $p$ variables. As the second system we
consider the simplest quantum nonlinear system with Hamiltonian quartic in $q$
and $p$ variables. We calculate the explicit formulas for the time development
of expectation values and uncertainties of position and momentum in an initial
coherent state.

Bipresymplectic chains of oneforms of corank one are considered. The
conditions in which such chains represent some Liouville integrable systems and
the conditions in which there exist related biHamiltonian chains of vector
fields are derived. To present the construction of bipresymplectic chains, the
notion of dual Poissonpresymplectic pair is used and the concept of
dcompatibility of Poisson bivectors and dcompatibility of presymplectic forms
is introduced. It is shown that bipresymplectic representation of related flow
leads directly to the construction of separation coordinates in purely
algorithmic way. As an illustration bipresymplectic and biHamiltonian chains
in ${\mathbb R}^3$ are considered in detail.