BooleanConvert[expr] converts the Boolean expression expr to disjunctive normal form.BooleanConvert[expr, form] converts the Boolean expression expr to the specified ...

The ODEs that arise in practical applications often have non-rational coefficients. In such cases, DSolve attempts to convert the equation into one with rational coefficients ...

SatisfiabilityCount[bf] counts the number of possible combinations of variable values that yield True when supplied as arguments to the Boolean function ...

Mathematica's graphics language is carefully designed to make it easy to control—both manually and programmatically—the detailed appearance and labeling of graphics, while ...

SpellingOptions -> {opt_1 -> val_1, opt_2 -> val_2, ...} is an option for notebooks that specifies settings for spell checking.

PolyaAeppliDistribution[\[Theta], p] represents a Polya\[Dash]Aeppli distribution with shape parameters \[Theta] and p.

3D graphics can be created with a number of powerful Mathematica functions. 3D graphics in Mathematica can be rotated and zoomed using a standard mouse or even a joystick or ...

When you write down a set of simultaneous equations in Mathematica, you are specifying a collection of constraints between variables. When you use Solve, you are finding ...

Mathematica supports not only arbitrary arrow graphics, but also a selection of convenient arrow-like characters, that automatically extend when appropriate. Each of these ...

Mathematica allows any front end command to be executed programmatically from within the kernel by sending an appropriate front end token. There are tokens for all standard ...