The built-in functions D, Limit, Residue and Series perform computations using symbolic and analytic methods. The functions ND, NLimit, NResidue and NSeries, in this package, ...

GeneralMiniMaxApproximation[{f_x, f_y}, {t, {t_0, t_1}, m, n}, x] finds the rational polynomial function of x, with numerator order m and denominator order n, that gives a ...

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

The Mathematica compiler provides an important way both to speed up and to work with Mathematica computations. It does this by taking assumptions about the computations and ...

Orderless is an attribute that can be assigned to a symbol f to indicate that the elements e_i in expressions of the form f[e_1, e_2, ...] should automatically be sorted into ...

[AP91] Ascher, U. and L. Petzold. "Projected Implicit Runge–Kutta Methods for Differential Algebraic Equations." SIAM J. Numer. Anal. 28 (1991): 1097–1120. [AP98] Ascher, U. ...

This is a simple homogeneous DAE with constant coefficients. This finds the general solution. It has only one arbitrary constant because the second equation in the system ...

Mathematica normally takes any expression it is given, and evaluates it as far as possible. But built into the Mathematica language is a collection of flexible primitives ...

HoldRest is an attribute which specifies that all but the first argument to a function are to be maintained in an unevaluated form.

SymbolicC supports the various types of C operators. These are described in this section. First, you need to load the package. The following shows how to output to get infix ...