Технології програмування

Важливий напрямок роботи - розробка і реалізація ефективних алгоритмів символьних перетворень, розвиток експериментальної системи алгебраїчного програмування АПС в кросплатформову виробничу систему програмування, ефективність якої можна було б порівняти з кращими світовими зразками таких систем. Конкретні завдання цього напрямку - розвиток методів ефективної реалізації технологій переписування; - розвиток многосортной алгебри алгебраїчних обчислень і алгоритмів комп'ютерної алгебри; - вдосконалення системи сервісів системи; - розвиток веб-орієнтованих функцій та сервісів системи. Важливою окремою проблемою є вирішення завдання уніфікації інтерфейсів і форматів даних системи відповідно до міжнародних стандартів MathML, OpenMath c забезпеченням їх сумісності з такими математичними системами, як Mathematica, Maple та іншими системами комп'ютерної алгебри.