PolyLogs
- To: mathgroup at smc.vnet.net
- Subject: [mg77339] PolyLogs
- From: dimitris <dimmechan at yahoo.com>
- Date: Thu, 7 Jun 2007 03:42:03 -0400 (EDT)
Hello.
The following is part from my answer in another forum.
In[602]:=
o = -(Pi^2/12) - ArcSinh[1]*Log[68 - 48*Sqrt[2]] + I*Pi*Log[3 -
2*Sqrt[2]] - (1/2)*Log[3 - 2*Sqrt[2]]^2 +
4*PolyLog[2, 2 - Sqrt[2]] - PolyLog[2, 3 + 2*Sqrt[2]] - Log[1 +
Sqrt[2]]^2;
In[603]:=
Developer`ZeroQ[o] (*version 5.2*)
Out[603]=
True
However ZeroQ uses internally numerical evaluations so that its
application can be considered
as "...an plausibility argument but not a rigorous proof..." (I
adopted this quote from Daniel Lichtblau).
Can anyone really show within Mathematica that above expression
simplifies really to 0?
Dimitris
- Follow-Ups:
- Re: PolyLogs
- From: Andrzej Kozlowski <akoz@mimuw.edu.pl>
- Re: PolyLogs