4

4

I am interested in obtaining the intermediate steps for rather straightforward symbolic definite integrations (e.g., from an elementary calculus text).

As an example, for $\int_0^1 x\,dx$ I'd like output along the lines of

$$ \int_0^1 x\,dx={x^2\over 2}\Bigg|_0^1={1\over 2} $$

I have reviewed the responses to this question dealing with WolframAlpha-like step-by-step output as well as this one and this one.

The answer in the first link above is in the spirit of what I'm after (especially the last answer given by FDSg), but it focuses on *differentiation*. However, when I try this on even elementary definite integrals like $\int_0^1 x\,dx$ it simply returns the answer without the steps. Perhaps I am overlooking something. I do not intend to duplicate that question and this distinction is key to that.

In short, I'd be happy if `ShowSteps`

(applied to `Integrate[x,{x,0,1}]`

) would simply show the output in the displayed equation above (the emphasis being that I don't need to see *how* the indefinite integral is computed, just what it is, and then completing the evaluation between limits).

possible duplicate of Get a "step by step" evaluation in Mathematica

– Szabolcs – 2014-02-23T16:24:56.607My question was about getting the intermediate steps (as in the link above), but also about obtaining the

formattingof those steps as outlined in the OP. – JohnD – 2014-03-06T17:49:31.700see http://mathematica.stackexchange.com/questions/29362/the-underlying-process-of-integrate/29363#29363 for package called

– Nasser – 2013-08-14T16:09:29.697`Rubi`

which shows step by step transformations.@Nasser: Thanks, but

`Rubi`

seems to be more than I need. – JohnD – 2013-08-14T16:46:43.970Ok, you can try David's presentations package. http://forums.wolfram.com/mathgroup/archive/2008/Nov/msg00503.html

– Nasser – 2013-08-14T17:18:03.397`he Presentations package has a subsection called Student's Integral that allows the step by step evaluation of definite or indefinite integrals.`

I have not used it. But David posts here, so you can either ask him or check his web site.@Nasser: Simple follow up, but do you know how to process the output of

`Integrate[x,x]`

to include the vertical bar, subscripted lower limit, and superscripted upper limit as in the middle part of the displayed equation above? – JohnD – 2013-08-14T18:33:40.620I tried, but could not find a way. Mathematica will immediately do the full evaluation. Even if you write

`Integrate[x, {x, a, b}]`

it will generate`-(a^2/2) + b^2/2`

so I do not think there is a way to do this using Mathematica directly. – Nasser – 2013-08-14T19:09:13.017It might be worth noting that Mathematica computes many interesting definite integrals using techniques that do not involve finding an anti-derivative, which is one reason that WA does not provide steps for definite integration. One simple example is

`Integrate[Sin[Sin[x]],{x,0,2 Pi}]`

. – Mark McClure – 2013-08-15T01:27:16.247