The boundedness of all products of a pair of matrices is undecidable
scientific article; zbMATH DE number 1521717