Проблема сертификации программ решения задач численного анализастатья