Mathematica 6.0 represented a major new level in Mathematica's distinguished twenty-year history of broad cutting-edge algorithm development. Mathematica's unified ...

SetSelectedNotebook[notebook] makes the specified notebook be the currently selected one in the front end.

CylindricalDecomposition[ineqs, {x_1, x_2, ...}] finds a decomposition of the region represented by the inequalities ineqs into cylindrical parts whose directions correspond ...

Intersection[list_1, list_2, ...] gives a sorted list of the elements common to all the list_i.

As with integers, operations related to division are key to many computations with polynomials. Mathematica includes not only highly optimized univariate polynomial-division ...

 

GroebnerBasis[{poly_1, poly_2, ...}, {x_1, x_2, ...}] gives a list of polynomials that form a Gröbner basis for the set of polynomials poly_i. GroebnerBasis[{poly_1, poly_2, ...

When you give a list of equations to Solve, it assumes that you want all the equations to be satisfied simultaneously. It is also possible to give Solve more complicated ...

Packing a large number of sophisticated algorithms—many recent and original—into a powerful collection of functions, Mathematica draws on almost every major result in number ...

SemialgebraicComponentInstances[ineqs, {x_1, x_2, ...}] gives at least one sample point in each connected component of the semialgebraic set defined by the inequalities ineqs ...