Functions like Factor usually assume that all coefficients in the polynomials they produce must involve only rational numbers. But by setting the option Extension you can ...

Reduce[expr, vars] reduces the statement expr by solving equations or inequalities for vars and eliminating quantifiers. Reduce[expr, vars, dom] does the reduction over the ...

ToRadicals[expr] attempts to express all Root objects in expr in terms of radicals.

This package provides an interactive tool for investigating the solutions of differential equations as well as other types of equations that have solutions that can be viewed ...

IsolatingInterval[a] gives a rational isolating interval for the algebraic number a.IsolatingInterval[a, dx] gives an isolating interval of width at most dx.

Mathematica immediately allows you to do arithmetic not only with individual numbers, but also with arbitrary lists or arrays—as well as symbolic and algebraic forms. ...

The user interface for Mathematica provides many options for formatting input and output.

The Mathematica function DSolve finds symbolic solutions to differential equations. (The Mathematica function NDSolve, on the other hand, is a general numerical differential ...

MarginalDistribution[dist, k] represents a univariate marginal distribution of the k\[Null]^th coordinate from the multivariate distribution dist.MarginalDistribution[dist, ...

SatisfiabilityInstances[bf] attempts to find a choice of variables that makes the Boolean function bf yield True.SatisfiabilityInstances[expr, {a_1, a_2, ...}] attempts to ...