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

ContinuousWaveletTransform[{x_1, x_2, ...}] gives the continuous wavelet transform of a list of values x_i.ContinuousWaveletTransform[data, wave] gives the continuous wavelet ...

Agglomerate[{e_1, e_2, ...}] gives an hierarchical clustering of the elements e_1, e_2, ....Agglomerate[{e_1 -> v_1, e_2 -> v_2, ...}] represents e_i with v_i in each ...

By far the largest release since Version 1.0 in 1988, Version 6.0 added a remarkable breadth of new functionality. As well as introducing several major new fundamental ...

The release of Mathematica 6 in May 2007 represented a revolution in the development of Mathematica. Building on this revolution, Mathematica 7 not only greatly broadens and ...

DiscreteWaveletData[{wind_1 -> coef_1, ...}, wave, wtrans] yields a discrete wavelet data object with wavelet coefficients coef_i corresponding to wavelet index wind_i, ...

FindInstance[expr, vars] finds an instance of vars that makes the statement expr be True. FindInstance[expr, vars, dom] finds an instance over the domain dom. Common choices ...

FresnelS[z] gives the Fresnel integral S(z).

GraphDistance[g, s, t] gives the distance from source vertex s to target vertex t in the graph g.GraphDistance[g, s] gives the distance from s to all vertices of the graph g.

ObservableDecomposition[ss] yields the observable decomposition of the StateSpaceModel object ss. The result is a list {s_o, ss_o} where s_o is the transformation matrix and ...