> Maybe the focus could be on solving calculus problems with the help of a symbolic algebra system instead? Umm.. Like this -> https://www.mytutor.co.uk/answe

> Maybe the focus could be on solving calculus problems with the help of a symbolic algebra system instead? Umm.. Like this -> https://www.mytutor.co.uk/answers/7336/A-Level/Further-Mathematics/Find-the-square-root-of-i/ https://www.mytutor.co.uk/answers/7336/A-Level/Further-Mathe... Beyond the simple case shown in [1], by hand making sure the logical type/denomiator is consistent across an entire exercise/problem working beyond basics is extremely time consuming/difficult. abstract case: Think y-combinator stuff and how quickly the information grows for one term to get rid of all free variables. aka simplified continuitiy/consistency of logic type use. is 1 imaginary, real, integer, vector, trig value, etc [1] : https://www.youtube.com/watch?v=2OIiLu5xn-E https://www.youtube.com/watch?v=2OIiLu5xn-E