Сертификация программных средств решения задач численного анализастатья