1 2 | ||

Editor: test1
Time: 2015/05/08 16:13:12 GMT+0 |
||

Note: |

changed:-limit(sum(n**(-2), n=1..k), k=%plusInfinity) limit(sum(n^(-2), n=1..k), k=%plusInfinity)changed:-does the zeta function exist in axiom? It looks like in 1997, it had not been does the zeta function exist in axiom? It is included in FriCAS \begin{axiom} riemannZeta(2) \end{axiom} but ATM FriCAS can do very little with it. It looks like in 1997, it had not been

Carl McTague? asked axiom to evaluate

fricas

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

(1) |

while he was hoping for `%pi^2/6`

, i.e. .

Any ideas?

does the zeta function exist in axiom?

It is included in FriCAS

fricas

riemannZeta(2)

(2) |

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.

Don't know either--wurmli, Sat, 11 Sep 2004 00:47:12 -0500 reply