, Інститут проблем математичних машин та систем НАН України