HomeIsabelle/Phabricator
Diffusion afp-devel 7df0afa2f2f0

website for Gauss_Sums
7df0afa2f2f0
Actions

Description

website for Gauss_Sums

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP55e0a96103e0: new entry Gauss_Sums
Branches
Unknown
Tags
Unknown

Changes (24)

PathSize
metadata/

rAFP7df0afa2f2f0

View Options

metadata/metadata

Loading...
View Options

thys/Gauss_Sums/Complex_Roots_Of_Unity.thy

Loading...
View Options

thys/Gauss_Sums/Finite_Fourier_Series.thy

Loading...
View Options

thys/Gauss_Sums/Gauss_Sums.thy

Loading...
View Options

thys/Gauss_Sums/Gauss_Sums_Auxiliary.thy

Loading...
View Options

thys/Gauss_Sums/Periodic_Arithmetic.thy

Loading...
View Options

thys/Gauss_Sums/Polya_Vinogradov.thy

Loading...
View Options

thys/Gauss_Sums/ROOT

Loading...
View Options

thys/Gauss_Sums/Ramanujan_Sums.thy

Loading...
View Options

thys/Gauss_Sums/document/root.bib

Loading...
View Options

thys/Gauss_Sums/document/root.tex

Loading...
View Options

web/entries/Dirichlet_L.html

Loading...
View Options

web/entries/Dirichlet_Series.html

Loading...
View Options

web/entries/Gauss_Sums.html

Loading...
View Options

web/entries/Polynomial_Interpolation.html

Loading...
View Options

web/index.html

Loading...
View Options

web/rss.xml

Loading...
View Options

web/statistics.html

Loading...
View Options

web/topics.html

Loading...