Descrição
Problemas de pesquisa em geometria algébrica e álgebra comutativa podem ser explorados com um sistema especializado de álgebra computacional. É útil para matemáticos, estudantes de pós-graduação e pesquisadores que trabalham com anéis, ideais, módulos e cálculos relacionados.
Este é um software matemático voltado a especialistas. Resultados devem ser conferidos contra o modelo matemático e seus pressupostos, especialmente antes de usar cálculos em artigos ou provas formais.