mathigh (npm): In the process of self-learning mathematical analysis and higher algebra, turn knowledge into real code to deepen understanding.
Keywords: automated-reasoning|symbolic-computation|mathematical-analysis|higher-algebra