Session Gauss_Sums

Theories

• Finitely_Generated_Abelian_Groups.Set_Multiplication
• Finitely_Generated_Abelian_Groups.Miscellaneous_Groups
• Finitely_Generated_Abelian_Groups.Generated_Groups_Extend
• HOL-Algebra.QuotRing
• HOL-Algebra.IntRing
• Finitely_Generated_Abelian_Groups.General_Auxiliary
• Finitely_Generated_Abelian_Groups.IDirProds
• Finitely_Generated_Abelian_Groups.Finite_Product_Extend
• Finitely_Generated_Abelian_Groups.Group_Hom
• Finitely_Generated_Abelian_Groups.Finite_And_Cyclic_Groups
• Finitely_Generated_Abelian_Groups.DirProds
• Finitely_Generated_Abelian_Groups.Group_Relations
• Finitely_Generated_Abelian_Groups.Finitely_Generated_Abelian_Groups
• Dirichlet_L.Multiplicative_Characters
• Dirichlet_L.Dirichlet_Characters
• Gauss_Sums_Auxiliary
• Polynomial_Interpolation.Missing_Unsorted
• Polynomial_Interpolation.Missing_Polynomial
• Polynomial_Interpolation.Lagrange_Interpolation
• Periodic_Arithmetic
• Complex_Roots_Of_Unity
• Finite_Fourier_Series
• Ramanujan_Sums
• Gauss_Sums
• Polya_Vinogradov