On computer-assisted research in homological algebra.
scientific article; zbMATH DE number 1920709