В маткаде есть такая функция explicit, позволяет визуально подставить в формулу цифры. Также желательна возможность получить значение переменной сразу после присвоения.

В маткаде выглядит все примерно вот так:
a:=2
b:=3
x:=a+b explicit, ALL ->2+3 = 5

Если там же поставить опции, чтобы ":=" и "->" отображались как "=", и из меню на правой кнопке мыши выбрать "скрыть ключевые слова", то получится вот так:

a=2
b=3
x=a+b=2+3=5

Зачем это нужно? Ну хотя бы потому, что в определенных случаях требуется именно такое оформление. Понятно, что это несколько устаревшее требование, но есть в нем и рациональное зерно: ты видишь, ЧТО подставил в формулу и подстрахован от ошибок при переопределении переменных или собственной невнимательности.

Хотелось бы, чтобы в SMath Было что-то наподобие)

Пока нет

retriever, полностью поддерживаю. Хотя в smath уже есть возможность подставить в формулу значения переменных - правой кнопкой щелкнуть на объекте с ответом "оптимизация->отключена". тогда в формулу подставятся численные выражения. Дело в том что функция далека от идеала (не все отображает так как надо) и использовать ее не всегда можно. Будем надеяться и верить что Андрей доделает ее потом. )))

Wrote

Пока нет

В принципе, и не надо.
Из статьи "Интернет-справочники: работа с формулами"
Действующие в России и некоторых других странах стандарты оформления расчетов требуют, чтобы перед выводом численного ответа была продублирована формула, где вместо переменных, участвующих в расчете, стояли бы их численные значения. Для выполнения этого требования в программу Mathcad был введен оператор explicit. Но к этому оператору у пользователей Mathcad много нареканий. Во-первых, он выводит значения участвующих в расчете переменных с исходными единицами
измерения и их нельзя изменить на другие, более подходящие для пользователя. Во-вторых, невозможно сепаратно менять число знаков после запятой у отдельных числовых значений, подставленных вместо переменных. В-третьих, согласно стандартам нужно вообще убрать единицы измерения у значений этих переменных. Можно, конечно, убедить разработчика пакета внести в будущие версии эти изменения. Но можно и нужно менять сами стандарты оформления расчетных документов и учитывать при этом новые (компьютерные) методы расчетов. Дело в том, что данные стандарты разрабатывались еще в докомпьютерную эру и учитывали следующую технологию расчетов. Специалист в той или иной области науки и техники, проектируя какой-то объект и делая расчеты с использованием логарифмической линейки, арифмометра или калькулятора, должен был дублировать формулы с подстановкой численных значений переменных для того, чтобы кто-то другой мог проверить правильность арифметических выкладок. В крупных проектных организациях были отделы, где специальные люди (своеобразные арифметические корректоры) выполняли такие проверки и выявляли возможные арифметические ошибки типа 2 + 2 = 5. За компьютером такую проверку выполнять, конечно, не имеет никакого смысла. Следовательно, никакого смысла нет и в дублировании формул с подстановкой численных значений переменных. Тем не менее, устаревшие стандарты этого требуют. Проверять в современных компьютерных расчетах нужно другое – те ли переменные фигурируют в формулах, какое числовое значение они имеют и правильна ли сама формула.

Я тоже поддерживаю retriever.
Если еще и упростить поцес (например добавить в контекстное меню формулы пункт
"показать решение" или при двойном нажатии символа "=")
И добавить команду "показать решения всех формул" в настройках Листа
прорграма бы стала намного удобней (особенно для студентов и старшекласников)
СПАСИБО