From: Tobias Nipkow <nipkow@in.tum.de>
The Polylogarithm Function
Manuel Eberl
This entry provides a definition of the Polylogarithm function, commonly denoted
as Li_s(z). ...
https://www.isa-afp.org/entries/Polylog.html
Enjoy!
Last updated: May 05 2024 at 01:11 UTC