MathType — профессиональная программа для набора и редактирования математических формул и уравнений. Поддерживает любые текстовые редакторы, а также полиграфические и презентационные приложения. Отличается понятным интерфейсом и невысокими системными требованиями.
Stellarium — программа, представляющая собой виртуальный планетарий с продвинутыми функциями. Показывает качественные 3D-изображения звезд, планет и спутников в режиме реального времени.
Wolfram Mathematica — продвинутая многофункциональная система для современных технических вычислений. Предоставляет пользователю более 5000 встроенных инструментов, широко используемых при решении разнообразных научных, инженерных и математических задач.
GeoGebra — бесплатная программа, позволяющая проводить всевозможные математические операции. Объединяет в себе такие разделы как алгебра, геометрия, построение таблиц, статистические и арифметические операции и т.д.