Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Gauss Sums

Email Gateway (Aug 22 2022 at 21:13):

From: Lawrence Paulson <lp15@cam.ac.uk>
I’m happy to announce the (belated) publication of a new entry entitled Gauss Sums and the Pólya–Vinogradov Inequality, by Rodrigo Raya and Manuel Eberl.

Abstract:

It is now online at https://www.isa-afp.org/entries/Gauss_Sums.html.

Surveying the theory hierarchy, it’s astonishing to see how much material we now have!

Larry

Last updated: Apr 26 2024 at 04:17 UTC