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

Carl McTague? asked axiom to evaluate

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

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

while he was hoping for %pi^2/6, i.e. \frac{\pi^2}{6}.

Any ideas?

Don't know either --wurmli, Sat, 11 Sep 2004 00:47:12 -0500 reply
I have no ideas how to move axiom to spit out the answer, but considering it should be \zeta(2) I have another question:

does the zeta function exist in axiom?

It is included in FriCAS


\label{eq2}riemannZeta \left({2}\right)(2)
Type: Expression(Integer)

but ATM FriCAS can do very little with it.

It looks like in 1997, it had not been implemented. See A Critique of the Mathematical Abilities of CA Systems onto which AxiomDocumentationAndCommunity? refers.

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