Factoring is an important process for the teaching of algebra, and this presentation shows the most common cases for different algebraic expressions.

We introduce new first-order languages for the elementary n-dimensional geometry and elementary n-dimensional affine geometry (n ≥ 2), based on extending FO(β≡) and FO(β), respectively, with new function symbols. Here, β ...