A real polynomial system is an expression constructed with polynomial equations and inequalities combined using logical connectives and quantifiers and

Mathematica provides a powerful and unique environment for parallel computing. Much of the functionality can be used with a minimum of effort and without paying too much ...

DeBruijnGraph[m, n] constructs the n-dimensional De Bruijn graph with m symbols for integers m > 0 and n > 1. DeBruijnGraph[alph, n] constructs the n-dimensional De Bruijn ...

DepthFirstTraversal[g, v] performs a depth-first traversal of graph g starting from vertex v, and gives a list of vertices in the order in which they were encountered. ...

GraphPolynomial[n, x] returns a polynomial in x in which the coefficient of x^m is the number of nonisomorphic graphs with n vertices and m edges. GraphPolynomial[n, x, ...

PartitionLattice[n] returns a Hasse diagram of the partially ordered set on set partitions of 1 through n in which p < q if q is finer than p, that is, each block in q is ...

ShuffleExchangeGraph[n] returns the n-dimensional shuffle-exchange graph whose vertices are length n binary strings with an edge from w to Derivative[1][w] if (i) ...

RevolutionPlot3D and SphericalPlot3D have been added to the built-in Mathematica kernel. RevolutionPlot3D includes the functionality of CylindricalPlot3D.

New function WordData has been added to the built-in Mathematica kernel. New function DictionaryLookup has been added to the built-in Mathematica kernel.

ComputerNumber[x] gives the ComputerNumber object equivalent to the ordinary number x in the arithmetic currently in effect.ComputerNumber[sign, mantissa, exp] gives the ...