|
From: Fraser D. <dos...@gm...> - 2020-10-27 20:59:24
|
The form of the incremental output steps would have to clearly show substitutions, changes of variable, simplifications, etc. Our minds are so good at this, that maybe machine learning would help in this case. Fraser |