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.
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.