Macaulay es un sistema de álgebra computacional (CAS) de propósito específico, especializado en cálculos con polinomios, y en particular con bases de Gröbner.