For comparison with other CAS choose from: Axiom Derive Macsyma Maple Mathematica
sum(m**2*x**m,m,1,n);
n 2 2 n 2 n 2 n n n n
(x*(x *n *x - 2*x *n *x + x *n - 2*x *n*x + 2*x *n + x *x + x - x
3 2
- 1))/(x - 3*x + 3*x - 1)
sum(cos((2*m-1)*pi/(2*n+1)),m,1,r);
2*r*pi
sin(---------)
2*n + 1
------------------
pi
2*sin(---------)
2*n + 1
prod(e**(sin(m*x)),m,1,n);
cos(x/2)/(2*sin(x/2))
e
----------------------------------
cos((2*n*x + x)/2)/(2*sin(x/2))
e
for all n,m such that fixp m let
factorial(n+m)=if m > 0 then factorial(n+m-1)*(n+m)
else factorial(n+m+1)/(n+m+1);
sum(m*2**m/factorial(m+2),m,1,n);
n 2
- 2*2 + factorial(n)*n + 3*factorial(n)*n + 2*factorial(n)
---------------------------------------------------------------
2
factorial(n)*(n + 3*n + 2)