Validating mathematical theorems and algorithms with RISCAL
scientific article; zbMATH DE number 6957973