Решатель
- Решатель — часть математического программного обеспечения, решающая математические задачи.
- Решатели разрабатываются для решения задач аналогичного типа.
- Типы решателей включают линейные и нелинейные уравнения, системы линейных и нелинейных уравнений, задачи оптимизации и другие.
- General Problem Solver (GPS) — первая компьютерная программа, разделяющая знания о проблемах и стратегию решения.
- Современные решатели используют более специализированный подход для сокращения времени вычислений.
- Для задач определенного класса доступно несколько алгоритмов, некоторые решатели реализуют несколько алгоритмов.
- Решатели используют автоматизированные методы решения проблем и ориентированные на человека инструменты для руководства решением.
- Теории выполнимости по модулю применяются для решателей логических формул.
Полный текст статьи: