A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
The author used the automatic proof procedure introduced in  and verified that the 4096 homomorphic recurrent double sequences with constant borders defined over Klein's Vierergruppe K and the 4096 linear recurrent double sequences with constant border defined over the matrix ring M 2 (F 2 ) can be also produced by systems of substitutions with finitely many rules. This permits the definition of a sound notion of geometric content for most of these sequences, more exactly for those which aredoi:10.3390/sym3030402 fatcat:sgvp3w5zczeafmajqeflp6unh4