Combinatorial topology and constructive mathematics
scientific article; zbMATH DE number 6948560
scientific article