Автоматическое программирование, численные методы и функциональный анализ