the MuPAD language, which is optimized for handling and operating
on symbolic math expressions. It provides libraries of MuPAD functions
in common mathematical areas, such as calculus and linear algebra,
and in specialized areas, such as number theory and combinatorics.
You can also write custom symbolic functions and libraries in the MuPAD language.
The MuPAD Notebook app lets you document symbolic math derivations
with embedded text, graphics, and typeset math. You can share the
annotated derivations as HTML or as a PDF.