The functions accessible with Wolfram LibraryLink make it possible to optimize numerical computations while still keeping the flexibility and generality of Mathematica. If ...

The NumericalDifferentialEquationAnalysis package combines functionality for analyzing differential equations using Butcher trees, Gaussian quadrature, and Newton-Cotes ...

ContourPlot[f, {x, x_min, x_max}, {y, y_min, y_max}] generates a contour plot of f as a function of x and y. ContourPlot[f == g, {x, x_min, x_max}, {y, y_min, y_max}] plots ...

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 ...

The Mathematica functions Reduce, Resolve, and FindInstance allow you to solve a wide variety of problems that can be expressed in terms of equations and inequalities. The ...

The first part of this User Guide describes using J/Link to allow you to call from Mathematica into Java, thereby extending the Mathematica environment to include the ...

Solve[expr, vars] attempts to solve the system expr of equations or inequalities for the variables vars. Solve[expr, vars, dom] solves over the domain dom. Common choices of ...

An integration rule computes an estimate of an integral over a region, typically using a weighted sum. In the context of NIntegrate usage, an integration rule object provides ...

An integration strategy is an algorithm that attempts to compute integral estimates that satisfy user-specified precision or accuracy goals. An integration strategy normally ...

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