Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: The Polylogarithm Function

Email Gateway (Nov 22 2023 at 09:56):

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!

smime.p7s

Last updated: Apr 28 2024 at 16:17 UTC