background & aim: ziziphora l. genus belongs to the lamiaceae family, which has important medicinal and aromatic plant species. in current study, essential oil chemical compositions of two ziziphora l. species (z. tenuior l. and z. clinopodioides lam.) were investigated. experimental: the flowering branches of z. tenuior and z. clinopodioides were collected in spring and summer 2011. the ae...

‎let $p(z)=z^s h(z)$ where $h(z)$ is a polynomial‎ ‎of degree at most $n-s$ having all its zeros in $|z|geq k$ or in $|z|leq k$‎. ‎in this paper we obtain some new results about the dependence of $|p(rz)|$ on $|p(rz)| $ for $r^2leq rrleq k^2$‎, ‎$k^2 leq rrleq r^2$ and for $rleq r leq k$‎. ‎our results refine and generalize certain well-known polynomial inequalities‎.

This paper presents some of our requirements for a Z type-checker: that the typechecker accept all well-typeable formulations, however contrived; that it gather information about uses of declarations as needed to support interactive browsing and formal reasoning; that it t the description given by draft standard Z; and that it be able to check some particular extensions to Z that are intended t...