Ax - predefined axiomsCat - predefined
categoriesDom - predefined domainsNetwork - library for graph
theoryPref - user preferencesType - library for type checking
and mathematical propertiesadt - library for abstract data
typescombinat - library for
combinatoricsdatatypes - Basic MuPAD
data typesdetools - library for differential
equationsfp - library for functional
programminggenerate - generate input to other
programsgroebner - library for Gröbner
basesimport - import dataintlib - tools for
integrationlinalg - library for linear
algebralinopt - library for linear
optimizationlistlib - library for list
manipulationmatchlib - library for pattern
matchingmisc - miscellaneamodule - library for dynamic
modulesnumeric - library for numerical
algorithmsnumlib - library for number
theoryorthpoly - library for orthogonal
polynomialsoutput - library for formatted
outputplot - graphics librarypolylib - library for polynomial
manipulationprog - programmer's
toolboxproperty - library for
propertiessolvelib - data types and
utilities for the solverstats - library for
statisticsstdlib - The standard
librarystringlib - library for string
manipulationstudent - educational
toolstransform - library for integral
transforms