Extremal doubly-even \([80,40,16]\) codes with an automorphism of order 19
scientific article; zbMATH DE number 1903545
scientific article