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

When Mathematica plots a graph for you, it has to make many choices. It has to work out what the scales should be, where the function should be sampled, how the axes should ...

Mathematica provides built-in functions for generating standard structure matrices and convolution kernels in any number of dimensions, in a form that can be used directly in ...

Mathematica integrates many aspects of statistical data analysis, from getting and exploring data to building high-quality models and and deducing consequences. Mathematica ...

ComplexExpand[expr] expands expr assuming that all variables are real. ComplexExpand[expr, {x_1, x_2, ...}] expands expr assuming that variables matching any of the x_i are ...

Mathematica provides a general mechanism for specifying constraints on patterns. All you need to do is to put /;condition at the end of a pattern to signify that it applies ...

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

At the core of Mathematica's symbolic programming paradigm is the concept of transformation rules for arbitrary symbolic patterns. Mathematica's pattern language conveniently ...

Mathematica allows almost every aspect of sessions to be customized, under full programmatic control.

ExcludedForms is an option for FullSimplify which can be set to a list of patterns for expressions that should not be touched if they are encountered at intermediate steps in ...