[Date Index]
[Thread Index]
[Author Index]
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
Prev by Date:
**Re: How to show the plot in Module[{}, ]?**
Next by Date:
**Re: Polynomial as a List**
Previous by thread:
**Re: Customising syntax colouring**
Next by thread:
**Re: PolyLogs**
| |