Go backward to Example: Binary Number RepresentationGo up to TopGo forward to Sum Identities |

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

Author: Wolfgang Schreiner

Last Modification: November 16, 1999