login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Currently FriCAS can not evaluate

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

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:


\label{eq2}riemannZeta \left({2}\right)(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

  Subject:   Be Bold !!
  ( 15 subscribers )  
Please rate this page: