Программное обеспечение

	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/
	GNU Octave is a high-level interpreted language, primarily intended for numerical computations. It provides capabilities for the numerical solution of linear and nonlinear problems, and for performing other numerical experiments. It also provides extensive graphics capabilities for data visualization and manipulation. Octave is normally used through its interactive command line interface, but it can also be used to write non-interactive programs. The Octave language is quite similar to Matlab so that most programs are easily portable. http://www.gnu.org/software/octave