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

# Edit detail for series revision 2 of 2

 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)
Type: Union("failed",...)

while he was hoping for %pi^2/6, i.e. .

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 I have another question:

does the zeta function exist in axiom?

It is included in FriCAS

fricas
riemannZeta(2)
 (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.