Diffusion afp-devel 0d3bb169fc7c

New entry Polygonal_Number_Theorem
0d3bb169fc7c
Actions

Tags

None

Subscribers

None

Description

New entry Polygonal_Number_Theorem

Details

Provenance

Authored on

Parents

rAFP82b384db3a81: Quantales_Converse metadata

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP0d3bb169fc7c: New entry Polygonal_Number_Theorem.Aug 11 2023, 10:30 AM

Changes (59)

Path

Size

Polygonal_Number_Theorem.toml

Polygonal_Number_Theorem

Polygonal_Number_Theorem_Cauchy.thy

Polygonal_Number_Theorem_Gauss.thy

Polygonal_Number_Theorem_Legendre.thy

Polygonal_Number_Theorem_Lemmas.thy

argyraki/

data/

CHERI-C_Memory_Model.html

Multirelations_Heterogeneous.html

Polygonal_Number_Theorem.html

Real_Time_Deque.html

Three_Squares.html

statistics/

polygonal_number_theorem

topics/

mathematics/

combinatorics/

number-theory/

rAFP0d3bb169fc7c

metadata/authors.toml

Loading...

metadata/entries/Polygonal_Number_Theorem.toml

Loading...

thys/Polygonal_Number_Theorem/Polygonal_Number_Theorem_Cauchy.thy

Loading...

thys/Polygonal_Number_Theorem/Polygonal_Number_Theorem_Gauss.thy

Loading...

thys/Polygonal_Number_Theorem/Polygonal_Number_Theorem_Legendre.thy

Loading...

thys/Polygonal_Number_Theorem/Polygonal_Number_Theorem_Lemmas.thy

Loading...

thys/Polygonal_Number_Theorem/ROOT

Loading...

thys/Polygonal_Number_Theorem/document/root.bib

Loading...

thys/Polygonal_Number_Theorem/document/root.tex

Loading...

thys/ROOTS

Loading...

web/authors/argyraki/index.html

Loading...

web/authors/argyraki/index.xml

Loading...

web/authors/index.html

Loading...

web/authors/index.json

Loading...

web/authors/leek/index.html

Loading...

web/authors/leek/index.xml

Loading...

web/authors/yez/index.html

Loading...

web/authors/yez/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/index.html

Loading...

web/dependencies/index.json

Loading...

web/dependencies/three_squares/index.html

Loading...

web/dependencies/three_squares/index.xml

Loading...

web/entries/CHERI-C_Memory_Model.html

Loading...

web/entries/CommCSL.html

Loading...

web/entries/Multirelations_Heterogeneous.html

Loading...

web/entries/Polygonal_Number_Theorem.html

Loading...

web/entries/Real_Time_Deque.html

Loading...

web/entries/Three_Squares.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/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/theories/index.xml

Loading...

web/theories/polygonal_number_theorem/index.html

Loading...

web/topics/index.html

Loading...

web/topics/mathematics/combinatorics/index.html

Loading...

web/topics/mathematics/combinatorics/index.xml

Loading...

web/topics/mathematics/index.html

Loading...

web/topics/mathematics/index.xml

Loading...

web/topics/mathematics/number-theory/index.html

Loading...

web/topics/mathematics/number-theory/index.xml

Loading...