Term rewriting is an extremely interesting topic that’s more niche than it should be. I plan to start writing blog posts about undergrad/grad level mathematics

Term rewriting is an extremely interesting topic that’s more niche than it should be. I plan to start writing blog posts about undergrad/grad level mathematics and physics where all derivations are done via computer algebra system (can’t quite make up mind whether to use SymPy, Maxima, Reduce, FriCAS/Axiom or SymbolicUtils.jl). Just need to find some interesting topics to start. Also more broadly I believe that mathematical derivations in scientific papers should be done computer algebra systems and term rewriting. They would be easier to check, reproduce and leave no ambiguities. It’s probably still many years from now but I hope to see that someday.