Symbolic Computation & Computer Algebra

Libraries for symbolic programming and computer algebra systems enabling advanced mathematical analysis, formula manipulation, and generation of numerical software.