In this paper, we generalize a result by Berman and Billig on weight modules over Lie algebras with polynomial multiplication. More precisely, we show that a highest weight module with an exp-polynomial “highest weight” has finite dimensional weight spaces. We also get a class of irreducible weight modules with finite dimensional weight spaces over generalized Virasoro algebras which do not occ...

Gastric cancer (GC) is one of the leading causes of cancer mortality, worldwide. Molecular understanding of GC’s different subtypes is still dismal and it is necessary to develop new subtype-specific diagnostic and therapeutic approaches. Therefore developing comprehensive research in this area is demanding to have a deeper insight into molecular processes, underlying these subtypes. In this st...

We introduce a suitable adapted ordering for the twisted N = 2 superconformal algebra (i.e. with mixed boundary conditions for the fermionic fields). We show that the ordering kernels for complete Verma modules have two elements and the ordering kernels for G-closed Verma modules just one. Therefore, spaces of singular vectors may be two-dimensional for complete Verma modules whilst for G-close...

The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally verify that the implementations satisfy the mathematical theorems stating their specification. By implementing and specifying algorithms from computer algebra inside a proo...