6.4 Компьютерные доказательства.

Mathematica— система компьютерной алгебры, используется во многих научных, инженерных, математических и вычислительных областях. Система была задумана Стивеном Вольфрамом (физик, математик и программист) и в дальнейшем разработана в компании Wolfram Research (Шампейн, штат Иллинойс, США). Начало разработки — 1986 г.; первая версия — 1988 г.; последняя 10-я версия — 2014 г. [2]. Весь материал взят: