Displaying similar documents to “Gruppy Prostoi i Kratnoi Antisimmetrii Lent”

Regular Expression Quantifiers - m to n Occurrences

Michał Trybulec (2007)

Formalized Mathematics

Similarity:

This article includes proofs of several facts that are supplemental to the theorems proved in [10]. Next, it builds upon that theory to extend the framework for proving facts about formal languages in general and regular expression operators in particular. In this article, two quantifiers are defined and their properties are shown: m to n occurrences (or the union of a range of powers) and optional occurrence. Although optional occurrence is a special case of the previous operator (0...

How to characterize commutativity equalities for Drazin inverses of matrices

Yong Ge Tian (2003)

Archivum Mathematicum

Similarity:

Necessary and sufficient conditions are presented for the commutativity equalities A * A D = A D A * , A A D = A D A , A A A D = A D A A , A A D A * = A * A D A and so on to hold by using rank equalities of matrices. Some related topics are also examined.

Full subsets of .

Naranjani, Lila, Mirzavaziri, Madjid (2011)

Journal of Integer Sequences [electronic only]

Similarity: