Mathematica allows arbitrary styling of any form of text to be specified either interactively from menus and commands—or programmatically using its powerful symbolic ...

Mathematica's symbolic timing framework allows timing information not only to be analyzed but also to be used in the structure of algorithms. Mathematica provides functions ...

Horizontal Lines opens a submenu to insert a line of the specified thickness above or below the selected cell.

False is the symbol for the Boolean value false.

OddQ[expr] gives True if expr is an odd integer, and False otherwise.

Prepend[expr, elem] gives expr with elem prepended.

expr //. rules repeatedly performs replacements until expr no longer changes.

Rest[expr] gives expr with the first element removed.

True is the symbol for the Boolean value true.

Here is an example of an exact ODE. This verifies the solution. Here is a contour plot of the solution.