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

Currently FriCAS can not evaluate

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

\label{eq1}\verb#"failed"#(1)
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)(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: