جبر خطی محاسباتی و نظریه گروه‌ها