FunctionExpand[expr] tries to expand out special and certain other functions in expr, when possible reducing compound arguments to simpler ones. FunctionExpand[expr, assum] ...
Structural Operations on Polynomials Finding the Structure of a Polynomial Polynomial Orderings
GenerateConditions is an option for Integrate, Sum, and similar functions that specifies whether explicit conditions on parameters should be generated in the result.
VerifyConvergence is an option to Sum, NSum, and similar functions that specifies whether convergence checking should be done.
ContinuedFractionK[f, g, {i, i_min, i_max}] represents the continued fraction \[CapitalKappa]_i = i_min^i_max f/g.ContinuedFractionK[g, {i, i_min, i_max}] represents the ...
DirichletTransform[expr, n, s] gives the Dirichlet transform of expr with respect to n.
Complexes represents the domain of complex numbers, as in x \[Element] Complexes.
InverseFourierSequenceTransform[expr, \[Omega], n] gives the inverse discrete-time Fourier transform of expr.InverseFourierSequenceTransform[expr, {\[Omega]_1, \[Omega]_2, \ ...
Power series are in many ways the algebraic analog of limited-precision numbers. Mathematica can generate series approximations to virtually any combination of built-in ...
InverseFourierSinTransform[expr, \[Omega], t] gives the symbolic inverse Fourier sine transform of expr. InverseFourierSinTransform[expr, {\[Omega]_1, \[Omega]_2, \ ...}, ...