There are many Mathematica packages that implement symbolic mathematical operations. Here are a few examples drawn from the standard set of packages distributed with ...
Specifying output styles. The second x^2 is here shown in boldface. This shows the word text in font sizes from 10 to 20 points.
AlgebraicUnitQ[a] yields True if a is an algebraic unit, and yields False otherwise.
ImageConvolve[image, ker] gives the convolution of image with kernel ker.
ObservabilityMatrix[ss] gives the observability matrix of the StateSpaceModel object ss.
The ability to define and use your own functions is part of what gives Mathematica such power. It is often inconvenient to have to explicitly name a function for every small ...
DialogNotebook[{cell_1, cell_2, ...}] represents a dialog notebook that can be manipulated by the Mathematica front end.
Dimensions[expr] gives a list of the dimensions of expr. Dimensions[expr, n] gives a list of the dimensions of expr down to level n.
FindVertexCover[g] finds a vertex cover of the graph g with a minimum number of vertices.
PermutationListQ[expr] returns True if expr is a valid permutation list and False otherwise.