Mathematica uses a large number of original algorithms to provide automatic systemwide support for inequalities and inequality constraints. Whereas equations can often be ...

Just as the equation x^2+3x==2 asserts that x^2+3x is equal to 2, so also the inequality x^2+3x>2 asserts that x^2+3x is greater than 2. In Mathematica, Reduce works not only ...

Mathematica normally assumes that variables which appear in equations can stand for arbitrary complex numbers. But when you use Reduce, you can explicitly tell Mathematica ...

Solve[expr, vars] attempts to solve the system expr of equations or inequalities for the variables vars. Solve[expr, vars, dom] solves over the domain dom. Common choices of ...

Equations Solving Equations The Representation of Equations and Solutions

lhs != rhs or lhs != rhs returns False if lhs and rhs are identical.

MaxExtraConditions is an option to Solve and related functions that specifies how many extra equational conditions on continuous parameters to allow in solutions that are ...

Mathematica's handling of polynomial systems is a tour de force of algebraic computation. Building on mathematical results spanning more than a century, Mathematica for the ...

Built into Mathematica is the world's largest collection of both numerical and symbolic equation solving capabilities—with many original algorithms, all automatically ...

x > y yields True if x is determined to be greater than y. x_1 > x_2 > x_3 yields True if the x_i form a strictly decreasing sequence.