Доброе время суток.
Вопрос мой состоит в следующем: существует ли софт, который пытается автоматически выражать данное ему число через распространённые константы (
и тому подобные)? Допустим, я получаю приближенное численное решение своей задачи, но не понимаю, как к ней подступиться аналитически. Если я узнаю, что ответ совпадает с
вплоть до десятого знака после запятой, это может дать мне подсказку. Однако перебирать руками всевозможные комбинации этих и других букв - так себе развлечение. Было бы здорово, если бы это как-то делалось программно.
Заранее спасибо.