Последовательность выкладок для получения результата

[Kolja2003]

Это наверное наивный вопрос. Но я не могу найти как можно получить последовательность преобразований или выкладок которые проводят программы символьных вычислений Maple или Matematica.

Допустим я задал решить уравнение и программа выдала результат в виде формулы. Окей.
Но теперь мне хочется получить последовательность действий или преобразований которые были проделаны программой чтобы получить эту формулу.

Как это сделать в выше указанных программах.

[Норберт]

В общем случае манипуляции которые делают такие мат пакеты совсем не похожи на те что делает человек. Например Mathematica вычисляет интегралы следующим способом. Она по виду функции делает предположение в каком виде надо искать ответ (полиномы, функции Бесселя или еще что-то), а потом по методу неопределенных коэффициентов доводит до окончательного ответа. Надеяться найти программу с последовательностью выкладок для этих пакетов не стоит.

[Leierkastenmann]

Kolja2003 в сообщении #253409 писал(а):

Это наверное наивный вопрос. Но я не могу найти как можно получить последовательность преобразований или выкладок которые проводят программы символьных вычислений Maple или Matematica.

Допустим я задал решить уравнение и программа выдала результат в виде формулы. Окей.
Но теперь мне хочется получить последовательность действий или преобразований которые были проделаны программой чтобы получить эту формулу.

Как это сделать в выше указанных программах.

Если не секрет, любопытно знать зачем вам это нужно?

[gavrilov]

Добрый вечер,

Подскажите пожалуйста команду в mathematica которая выдает полное решение( выкладки)
Только начал пользоваться пакетом, поэтому хочу знать и это тоже)

Заранее спасибо

-- Пн дек 21, 2009 21:53:06 --

Это очень важно, помогите пожалуйста

[Фантом]

gavrilov в сообщении #273865 писал(а):

Подскажите пожалуйста команду в mathematica которая выдает полное решение( выкладки)

Посмотрите команду Trace и связанные с ней. Полагаю, правда, что это не совсем то, что требуется, но ничего лучшего нет. Вытащить "человекообразную" схему решения из систем компьютерной алгебры обычно почти нереально.