Duck Source Code:
Square Sum of the First n Natural Number


title:> Square Sum of the First n Natural Number
spec:> /net/beowulf/grad/klin/tmp/squ.obj
dir:>  /net/cs/htdocs/groups/tatami/demos/nat/squ
<>
********************************************************
goal:> forall N:Nat squsum(N) * 6 = (N * N * N * 2) + (N * N * 3) + N
********************************************************
:> Induction(0,s)
:> Simplify
:> Simplify
<>


[Back]
Mon May 04 15:21:45 PDT 1998