Stream: Is there code for X?

Topic: Bell series


view this post on Zulip Anthony Bordg (Apr 28 2021 at 20:37):

@Manuel Eberl Do we have something on Bell series? I found nothing in Dirichlet_Series.

view this post on Zulip Manuel Eberl (Apr 28 2021 at 20:39):

Pretty sure I have something on those, yes, but surprisingly it's not in the AFP. I'll have a look on all my laptops tomorrow, it has to be somewhere…

view this post on Zulip Manuel Eberl (Apr 28 2021 at 20:40):

I should have pretty much exactly what's in Apostol's "Analytic Number Theory", nothing more, nothing less.

view this post on Zulip Manuel Eberl (Apr 29 2021 at 08:08):

Found it! Must have forgotten to add it to the AFP back then. Will add it in the next few days. Hope this has what you need.

What do you need it for anyway?

Bell_Series.thy

view this post on Zulip Anthony Bordg (Apr 29 2021 at 21:33):

To index it in our database.


Last updated: Apr 25 2024 at 20:15 UTC