The computer-aided discovery of a theorem about Young tableaux
scientific article; zbMATH DE number 906757