help links subscribe changes refresh edit

	FriCAS Problems
numerical linear algebra ←	↑	→ simplify exponents

series

Edit detail for series revision 2 of 3

	1 2 3
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)

$\label{eq1}\verb#"failed"#$

(1)

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?

fricas

riemannZeta(2)

$\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.