[seqfan] Re: Wrong formula in Wolfram functions

[Meeussen Wouter (bkarnd)]

I guess hardcoded,
(I'm talking about my very old version 4.0.2.0)

Wouter.
 

-----Original Message-----
From: seqfan-bounces at list.seqfan.eu [mailto:seqfan-bounces at list.seqfan.eu] On Behalf Of Georgi Guninski
Sent: maandag 2 april 2012 10:02
To: Sequence Fanatics Discussion list
Subject: [seqfan] Re: Wrong formula in Wolfram functions

On Sat, Mar 31, 2012 at 04:01:07PM +0200, Wouter Meeussen wrote:
> Enrique, funny:
> 
> my version 4.1 gives it correctly as
> Sum[MoebiusMu[k]^2/k^s, {k, 1, Infinity}]  ==> Zeta[s]/Zeta[2s]
> 
> but then it garbles this one:
> Sum[ EulerPhi[k]/k^s, {k, 1,Infinity}]  =/=> Zeta[-1 + s] Zeta[s] 
> should be  Zeta[-1 + s] / Zeta[s]
> 
> New Versions? hmm,
> "plus ça change, plus ça reste la même chose"?
> or: "you can prove the presence of bugs, but never the absence of'm"
> 
> Wouter.
> 
>

Are these sums hardcoded as axioms or proved/found by the software?


_______________________________________________

Seqfan Mailing list - http://list.seqfan.eu/
===============================
This email is confidential and intended solely for the use of the individual to whom it is addressed. 
If you are not the intended recipient, be advised that you have received this email in error and that any use, dissemination, forwarding, printing, or copying of this email is strictly prohibited.
You are explicitly requested to notify the sender of this email that the intended recipient was not reached.