روش‌های محاسباتی در جبر همولوژی و مشخصه p