Diffusion afp-devel 1d6030311863

New entry: Lambert_Series
1d6030311863
Actions

Tags

None

Subscribers

None

Description

New entry: Lambert_Series

Details

Provenance

Authored on

Parents

rAFPf7c62214fd41: adjusted doi capitalization

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP1d6030311863: New entry: Lambert_Series.Nov 28 2023, 7:03 PM

Changes (48)

Path

Size

Lambert_Series.toml

Lambert_Series.thy

Lambert_Series_Library.thy

Number_Theoretic_Functions_Extras.thy

Summation_Tests_More.thy

authors/

eberl/

data/

dirichlet_series/

Approximation_Algorithms.html

Dirichlet_Series.html

Hypergraph_Colourings.html

Irrational_Series_Erdos_Straus.html

Lambert_Series.html

statistics/

topics/

mathematics/

analysis/

rAFP1d6030311863

metadata/entries/Lambert_Series.toml

Loading...

thys/Lambert_Series/Lambert_Series.thy

Loading...

thys/Lambert_Series/Lambert_Series_Library.thy

Loading...

thys/Lambert_Series/Number_Theoretic_Functions_Extras.thy

Loading...

thys/Lambert_Series/ROOT

Loading...

thys/Lambert_Series/Summation_Tests_More.thy

Loading...

thys/Lambert_Series/document/root.bib

Loading...

thys/Lambert_Series/document/root.tex

Loading...

thys/ROOTS

Loading...

web/authors/eberl/index.html

Loading...

web/authors/eberl/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/dirichlet_series/index.html

Loading...

web/dependencies/dirichlet_series/index.xml

Loading...

web/dependencies/index.html

Loading...

web/dependencies/index.json

Loading...

web/dependencies/polylog/index.html

Loading...

web/dependencies/polylog/index.xml

Loading...

web/entries/Approximation_Algorithms.html

Loading...

web/entries/Dirichlet_Series.html

Loading...

web/entries/Hypergraph_Colourings.html

Loading...

web/entries/Irrational_Series_Erdos_Straus.html

Loading...

web/entries/Lambert_Series.html

Loading...

web/entries/Polylog.html

Loading...

web/entries/index.html

Loading...

web/entries/index.xml

Loading...

web/index.html

Loading...

web/index.json

Loading...

web/index.xml

Loading...

web/sessions/index.xml

Loading...

web/sessions/lambert_series/index.html

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/topics/index.html

Loading...

web/topics/mathematics/analysis/index.html

Loading...

web/topics/mathematics/analysis/index.xml

Loading...

web/topics/mathematics/index.xml

Loading...