1 2 3 | ||

Editor: test1
Time: 2019/08/11 17:59:02 GMT+0 |
||

Note: |

changed:-Carl McTague asked axiom to evaluate Currently FriCAS can not evaluatechanged:-while he was hoping for '%pi^2/6', i.e. $\frac{\pi^2}{6}$. - -Any ideas? - -From wurmli Sat Sep 11 00:47:12 -0500 2004 -From: wurmli -Date: Sat, 11 Sep 2004 00:47:12 -0500 -Subject: Don't know either -Message-ID: <20040911004712-0500@page.axiom-developer.org> - - -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 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:changed:-It looks like in 1997, it had not been -implemented. -See See also text from 1997:changed:-onto which -"AxiomDocumentationAndCommunity":AxiomDocumentationAndCommunity#WesterCritique -refers.

Currently FriCAS can not evaluate

fricas

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

(1) |

where correct result is'%pi^2/6', i.e. .

The result is , which in FriCAS can be written as:

fricas

riemannZeta(2)

(2) |

but ATM FriCAS can do very little with it.

See also text from 1997: A Critique of the Mathematical Abilities of CA Systems