Некоторые современные методы проверки правильности математических решений:

• Проверка решения по ответу. 2 Решение считается правильным, если ответ удовлетворяет заданным критериям. 2 Этот метод подходит для широкого класса задач, но не проверяет путь, которым получен ответ. 2
• Метод вычислительных экспериментов. 2 Для нескольких случайных наборов значений переменных сравнивают значения выражений. 2 Если хотя бы одно сравнение не проходит, преобразование считается некорректным. 2
• Аналитический метод проверки эквивалентности выражений. 5 Основан на синтаксическом разборе выражений, определении количества вхождений переменных в выражения и степеней переменных. 5 Затем эти таблицы сравниваются и делается вывод о том, эквивалентны ли выражения. 5
• Комплексный метод проверки эквивалентности выражений. 5 Основан на комбинации двух предыдущих методов. 5

Также для проверки правильности математических решений можно использовать составление и решение обратной задачи, решение задачи другим способом и прикидку результата (установление границ искомого числа). 1