Go backward to Example: Binary Number Representation Go up to Top Go forward to Sum Identities

Multiple Variable Bindings

(sum_{1 <= i <= 5, 1 <= j <= 3} i*j) = 1*1+1*2+1*3+ (sum_{2 <= i <= 5, 1 <= j <= 3} i*j)

(sum_{1 <= i <= 3, 1 <= j <= i} i*j) = 1*1 + 2*1 + 2*2 + 3*1 + 3*2 +3*3.

Bound variables have to be deduced from context.