SquareFreeQ, PrimePowerQ, KroneckerSymbol, ChineseRemainder and PrimitiveRoot have been added to the built-in Mathematica kernel functions. NextPrime and PreviousPrime are ...

Reduce[expr, vars] reduces the statement expr by solving equations or inequalities for vars and eliminating quantifiers. Reduce[expr, vars, dom] does the reduction over the ...

NSolve[expr, vars] attempts to find numerical approximations to the solutions of the system expr of equations or inequalities for the variables vars. NSolve[expr, vars, ...

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

CylindricalDecomposition[ineqs, {x_1, x_2, ...}] finds a decomposition of the region represented by the inequalities ineqs into cylindrical parts whose directions correspond ...

Mathematica has over 3000 built-in functions and other objects, all based on a single unified framework, and all carefully designed to work together, both in simple ...

BooleanFunction[k, n] represents the k\[Null]^th Boolean function in n variables.BooleanFunction[values] represents the Boolean function corresponding to the specified vector ...

FindInstance::rmod Reduce::rmod

FindInstance::naqs Reduce::naqs

FindInstance::nddc Reduce::nddc Resolve::nddc