MathAction series

Topics

Currently FriCAS can not evaluate

fricas

limit(sum(n^(-2), n=1..k), k=%plusInfinity)

$\label{eq1}\verb#"failed"#$

Type: Union("failed",...)

where correct result is'%pi^2/6', i.e. $\frac{\pi^2}{6}$ .

The result is $\zeta(2)$ , which in FriCAS can be written as:

fricas

riemannZeta(2)

$\label{eq2}riemannZeta \left({2}\right)$

Type: Expression(Integer)

but ATM FriCAS can do very little with it.