abstract: В работе описаны система компьютерной алгебры АНАЛИТИК-2007 и ее входной язык, который является новейшей версией языков семейства АНАЛИТИК, разрабатываемых в Институте проблем математических машин и систем НАН Украины. Работы над языками семейства АНАЛИТИК были начаты под руководством академика Глушкова В.М. в 60-х годах. Всего было реализовано 8 версий языка. Основными отличиями языков этого семейства являются развитые средства диалога и высокий уровень искусственного интеллекта. От предыдущих версий языков семейства АНАЛИТИК-2007 отличается более глубоким исследованием и классификацией средств компьютерной алгебры, дальнейшим развитием средств управления вычислениями, аппарата решения задач интерактивными методами и средств распознавания структурных и функциональных свойств объектов компьютерной алгебры. Язык отличается лаконичностью и общностью объектов и функций. АНАЛИТИК-2007 предназначен для решения научных и прикладных задач, а также для интенсификации обучения дисциплинам с повышенным уровнем математического моделирования.
keywords: численно-аналитические преобразования, распознавание свойств объектов, управление символьными преобразованиями, автоматический режим, диалоговый режим