Row[{expr_1, expr_2, ...}] is an object that formats with the expr_i arranged in a row, potentially extending over several lines. Row[list, s] inserts s as a separator ...

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

SemialgebraicComponentInstances[ineqs, {x_1, x_2, ...}] gives at least one sample point in each connected component of the semialgebraic set defined by the inequalities ineqs ...

SoundNote[pitch] represents a music-like sound note with the specified pitch.SoundNote[pitch, t] takes the note to have duration t.SoundNote[pitch, {t_min, t_max}] takes the ...

StringSplit["string"] splits " string" into a list of substrings separated by whitespace. StringSplit["string", patt] splits into substrings separated by delimiters matching ...

ToRadicals[expr] attempts to express all Root objects in expr in terms of radicals.

Total[list] gives the total of the elements in list. Total[list, n] totals all elements down to level n. Total[list, {n}] totals elements at level n. Total[list, {n_1, n_2}] ...

Around 1870, Marius Sophus Lie realized that many of the methods for solving differential equations could be unified using group theory. Lie symmetry methods are central to ...

Special forms for some common symbols. This is equivalent to Sin[60Degree]. Here is the long form of the input.

This tutorial introduces some basic algorithms for computing with finite permutation groups, other than those introduced in "Permutation Groups". A subgroup H of a group G ...