%0 Journal Article %1 journals/afp/Eberl23c %A Eberl, Manuel %D 2023 %J Arch. Formal Proofs %K dblp %T The Polylogarithm Function. %U http://dblp.uni-trier.de/db/journals/afp/afp2023.html#Eberl23c %V 2023

@article{journals/afp/Eberl23c, added-at = {2024-01-03T00:00:00.000+0100}, author = {Eberl, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/2759861fdc90d18882e2f0e23bb72edb0/dblp}, ee = {https://www.isa-afp.org/entries/Polylog.html}, interhash = {5e9f668fd709971478053bf3bc679d5f}, intrahash = {759861fdc90d18882e2f0e23bb72edb0}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2024-04-09T04:37:04.000+0200}, title = {The Polylogarithm Function.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2023.html#Eberl23c}, volume = 2023, year = 2023 }