نظریه هموتوپی و ابزارهای محاسباتی در توپولوژی