To quote from a posting today to the nmbrthry mailing list:
"Here I report my related discovery concerning zeta(3) involving the
harmonic numbers
H(n) = Sum_{k=1}^n 1/k (n = 1,2,3,...).
On October 22, 2014 I found that
zeta(3) = Sum_{k>0} (3*H(k)-1/k)/(k^2*binom(2k,k))
. (1)
Via the Mathematica command
FullSimplify[Sum[(3*HarmonicNumber[k]-1/k)/(k^2*Binomial[2k,k]),{k,1,Infinity}]],
Mathematica 9 could yield the desired result zeta(3) half an hour later.
So, (1) does have a proof."
It was fun to read that the day after reading that M-ma gets some
small integer determinants wrong!
John
On 24 October 2014 17:16, Jori Mantysalo <jori.mantys...@uta.fi> wrote:
> On Fri, 24 Oct 2014, Jakob Kroeker wrote:
>
>> Does Sage warn somehow the user if a user calls a function which is
>> *known* to be buggy?
>
>
> Sometimes, but for example
>
> On Fri, 24 Oct 2014, Jean-Pierre Flori wrote:
>
>> We're stuck at http://trac.sagemath.org/ticket/17184.
>> I've also posted on Singular forum:
>
>
> I know that Singular versions 3.x has a heisenbug, it stucks sometimes when
> factoring multivariate polynomials over rationals. There is no warning
> message.
>
> (But of course user do not get wrong answer, if there is no answer at all.)
>
> --
> Jori Mäntysalo
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at http://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
