Currently FriCAS can not evaluate fricas (1) -> limit(sum(n^(-2),
Type: Union("failed",
where correct result is'%pi^2/6', i.e. . The result is , which in FriCAS can be written as: fricas riemannZeta(2)
Type: Expression(Integer)
but ATM FriCAS can do very little with it. See also text from 1997: A Critique of the Mathematical Abilities of CA Systems |