Is what you want more like the output of Wolfram Alpha? If you ask it to compute a derivative, integral, or limit, it shows you the steps it takes to get there.
Sort of. Ideally every algorithm would yield output which is formally proven to be correct wrt. the underlying mathematics. So you’d be able to select either a portion of the algorithm or a step in the printout, and see how that relates to the mathematical theory of e.g. derivatives. This is quite feasible for CAS tasks such as simplifying expressions, solving equations, computing derivatives and integrals. It is less so for numerics and graphics, but these are not a part of traditional ‘math’, so little is lost: these would be studied under numerical analysis and computer graphics.
Is what you want more like the output of Wolfram Alpha? If you ask it to compute a derivative, integral, or limit, it shows you the steps it takes to get there.
Sort of. Ideally every algorithm would yield output which is formally proven to be correct wrt. the underlying mathematics. So you’d be able to select either a portion of the algorithm or a step in the printout, and see how that relates to the mathematical theory of e.g. derivatives. This is quite feasible for CAS tasks such as simplifying expressions, solving equations, computing derivatives and integrals. It is less so for numerics and graphics, but these are not a part of traditional ‘math’, so little is lost: these would be studied under numerical analysis and computer graphics.