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