Many computations are conveniently specified in terms of applying functions in parallel to many elements in a list. Mathematica provides a suite of elegant functional ...
Integrated into Mathematica is a full range of state-of-the-art local and global optimization techniques, both numeric and symbolic, including constrained nonlinear ...
Mathematica's unified symbolic architecture immediately allows it to perform structural transformations not only on objects like lists, but also on general symbolic ...
Arithmetic Numerical Mathematics in Mathematica The Uncertainties of Numerical Mathematics
CountRoots[poly, x] gives the number of real roots of the polynomial poly in x.CountRoots[poly, {x, a, b}] gives the number of roots between a and b.
The solution given by DSolve can be verified using various methods. The easiest method involves substituting the solution back into the equation. If the result is True, the ...
Directly integrated into Mathematica's uniform architecture for handling lists of data is an array of highly optimized algorithms for transforming and smoothing datasets that ...
Version 6.0 added a collection of carefully optimized functions to Mathematica's powerful arsenal of numerical handling capabilities.
Resolve
(Built-in Mathematica Symbol) Resolve[expr] attempts to resolve expr into a form that eliminates ForAll and Exists quantifiers. Resolve[expr, dom] works over the domain dom. Common choices of dom are ...