A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two can be added or composed. Algebraically, identities modelled noncommutative polynomials such proves that the polynomial corresponding to lies ideal generated identities. In order prove an identity, however, just membership is ...

The study was designed to analyze credit receipt and enterprise performance by small scale agro based enterprises in the Niger Delta region of Nigeria. A multistage sampling technique was adopted in selecting 264 agro based enterprises and 96 agro based enterprises that accessed informal and formal credit respectively. The Heckman model was used to examine the factors affecting amount of inform...

Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...