Computability And Matrix Semigroups

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Computability And Matrix Semigroups.

• Matrix mortality problem — The decision problem asking whether the zero matrix belongs to the multiplicative semigroup generated by a finite set of integer matrices.