Describir: Gestión mecanizada del conocimiento matemático en topología algebraica