MikTeX — это современный пакет для работы с TeX'ом в операционной системе Windows. TeX — это система набора, созданная Дональдом Кнутом, по словам которого TeX предназначен для создания красивых книг, в особенности книг, содержащих большое количество математики".
http://www.miktex.org/
Magma — компьютерно-алгебраическая система для вычислений в алгебре, теории чисел и геометрии.
Magma является крупным хорошо поддерживаемым программным обеспечением, разработанным для решения вычислительно трудоемких задач по алгебре, теории чисел, геометрии и комбинаторике. Этот пакет обеспечивает строгое математическое окружение для вычислений с алгебраическими, теоретико-числовыми, комбинаторными и геометрическими объектами.
http://magma.maths.usyd.edu.au/magma/
PARI/GP является широко используемой компьютерно-алгебраической системой, разработанной для быстрых вычислений в теории чисел (факторизации, алгебраическая теория чисел, эллиптические кривые...), но также включает большое количество других полезных функций для вычислений с такими математическими объектами, как матрицы, многочлены, степенные ряды, алгебраические числа и т.д., и множество трансцендентных функций. Кроме того, PARI, используемая как Си-библиотека, позволяет реализовывать быстрые вычисления.
http://pari.math.u-bordeaux.fr/
GAP является системой для вычислений в дискретной алгебре, в частности в вычислительной теории групп. GAP обеспечивает язык программирования, библиотеку из тысячи функций, реализующих алгебраические алгоритмы на этом языке, а также большую встроенную библиотеку алгебраических объектов. GAP применяется в исследовании и обучении теории групп и их представлений, колец, векторных пространств, алгебр, комбинаторных структур и многого другого. Система, включая исходный код, свободно распространяется. Вы сможете применять ее, при необходимости легко модифицируя и обобщая для собственных нужд.
http://www-gap.dcs.st-and.ac.uk/
