Since many functions in Mathematica give solutions in the form of rules, you need to be able to use these rules to explore and interpret your results. Although many of the ...

GeneratedParameters is an option that specifies how parameters generated to represent the results of various symbolic operations should be named.

Integers represents the domain of integers, as in x \[Element] Integers.

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

"Defining Variables" discussed assignments such as x=y which set x equal to y. Here we discuss equations, which test equality. The equation x==y tests whether x is equal to ...

You can give Solve a list of simultaneous equations to solve. Solve can find explicit solutions for a large class of simultaneous polynomial equations. Here is a simple ...

When you give a list of equations to Solve, it assumes that you want all the equations to be satisfied simultaneously. It is also possible to give Solve more complicated ...

Mathematica treats equations as logical statements. If you type in an equation like x^2+3x==2, Mathematica interprets this as a logical statement which asserts that x^2+3x is ...

Refine[expr, assum] gives the form of expr that would be obtained if symbols in it were replaced by explicit numerical expressions satisfying the assumptions assum. ...

The representation of algebraic numbers. When you enter a Root object, the polynomial that appears in it is automatically reduced to a minimal form. This extracts the pure ...