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