\textit{Theorema}: Towards computer-aided mathematical theory exploration
scientific article; zbMATH DE number 5128348
scientific article