Stream: Archive Mirror: Isabelle Users Mailing List

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

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: Nov 21 2024 at 12:39 UTC