Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: analysis and number theory


view this post on Zulip Email Gateway (Aug 22 2022 at 16:17):

From: Lawrence Paulson <lp15@cam.ac.uk>
We have just received three impressive entries due to Manuel Eberl:

• The Hurwitz and Riemann ζ Functions, https://www.isa-afp.org/entries/Zeta_Function.html
• Linear Recurrences, https://www.isa-afp.org/entries/Linear_Recurrences.html
• Dirichlet Series, https://www.isa-afp.org/entries/Dirichlet_Series.html

Lots of material here including fundamental results and executable code. Many thanks, Manuel!

Larry Paulson


Last updated: Mar 28 2024 at 08:18 UTC