Một gói phần mềm được thiết kế để giải các bài toán khó về mặt tính toán trong đại số, lý thuyết số, hình học và tổ hợp.