ПРИЗНАЧЕННЯ:
Для розроблення прикладних програм за допомогою мови алгебраїчного програмування APLAN.
ТЕХНІЧНІ ХАРАКТЕРИСТИКИ:
Cумісність із середовищами Linux та Windows, наявність on-line режиму.
РЕКОМЕНДОВАНА ГАЛУЗЬ ВИКОРИСТАННЯ:
Організації, які створюють системи верифікації, тестування, аналізу, трансформації програм.
ПЕРЕВАГИ:
Не має аналогів в Україні. Є найшвидшою у світі системою переписування термів порівняно з іншими світовими аналогами. Система має інтерфейси з усіма основними відомими системами автоматичного доказу теорем або системами алгебраїчного програмування, призначеними для розв’язання окремих задач.
ЯКЩО ВАС ЗАЦІКАВИЛА ДАНА РОЗРОБКА, БУДЬ-ЛАСКА,
НАПИШІТЬ НАМ