previous up next
Go backward to Examples
Go up to Top
Go forward to Example: Decimal Number Representation
RISC-Linz logo

Examples

(sum1 <= i <= 9 (x-i)2) = (x-1)2 + (sum2 <= i <= 9 (x-i)2)
(sum1 <= i <= n xi) = (sum1 <= i <= n /\  iseven(i) xi) + (sum1 <= i <= n /\  isodd(i) xi)

Identities which are true for every x.


Author: Wolfgang Schreiner
Last Modification: November 16, 1999

previous up next