> We have Maxima, Axiom and its two (!) forks, SymPy, REDUCE, Symbolics.jl, Mathics, SageMath, FORM, Yacas, Xcas, etc.

Can these efforts be combined into a high quality OS library? The license would permit use from commercial applications like MATLAB. There is precedent in libBLAS.