Основные результаты по разделу 1.12.2 "Системное математическое и программное обеспечение", полученные в Институте электронных управляющих машин (ИНЭУМ).
