An algebraic approach to computations with progress
scientific article; zbMATH DE number 6596345
scientific article