Macaulay
Biografía de Macaulay:
Para el historiador inglés, véase Thomas Macaulay 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. Macaulay está diseñado para resolver problemas en los campos del álgebra conmutativa y de la geometría algebraica. En su desarrollo podemos distinguir dos etapas. La primera, de 1983 a 1993, de la mano de Dave Bayer y Mike Stillman. A partir de 1993 sufrió una reescritura completa de su código por parte de Dan grayson y Mike Stillman, y recibió el nombre de Macaula...Más información en Wikipedia