Diffusion afp-devel 5308f917cbab

New entry Sunflowers
5308f917cbab
Actions

Tags

None

Subscribers

None

Description

New entry Sunflowers

Details

Provenance

Authored on

Parents

rAFP6fc43618aaf0: revert accidental change

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP5308f917cbab: New entry Sunflowers.Mar 1 2021, 1:29 PM

Changes (46)

Path

Size

metadata/

Erdos_Rado_Sunflower.thy

Abstract-Rewriting.html

Algebraic_Numbers.html

Berlekamp_Zassenhaus.html

Certification_Monads.html

Datatype_Order_Generator.html

First_Order_Terms.html

Jordan_Normal_Form.html

Knuth_Bendix_Order.html

LLL_Basis_Reduction.html

LLL_Factorization.html

Lifting_Definition_Option.html

Linear_Inequalities.html

Partial_Function_MR.html

Perron_Frobenius.html

Polynomial_Factorization.html

Polynomial_Interpolation.html

Polynomials.html

Sqrt_Babylonian.html

Stochastic_Matrices.html

Subresultants.html

Sunflowers.html

Transitive-Closure-II.html

Transitive-Closure.html

statistics.html

rAFP5308f917cbab

metadata/metadata

Loading...

thys/ROOTS

Loading...

thys/Sunflowers/Erdos_Rado_Sunflower.thy

Loading...

thys/Sunflowers/ROOT

Loading...

thys/Sunflowers/Sunflower.thy

Loading...

thys/Sunflowers/document/root.bib

Loading...

thys/Sunflowers/document/root.tex

Loading...

web/entries/Abstract-Rewriting.html

Loading...

web/entries/Algebraic_Numbers.html

Loading...

web/entries/Berlekamp_Zassenhaus.html

Loading...

web/entries/Certification_Monads.html

Loading...

web/entries/Datatype_Order_Generator.html

Loading...

web/entries/Deriving.html

Loading...

web/entries/Farkas.html

Loading...

web/entries/First_Order_Terms.html

Loading...

web/entries/Jordan_Normal_Form.html

Loading...

web/entries/Knuth_Bendix_Order.html

Loading...

web/entries/LLL_Basis_Reduction.html

Loading...

web/entries/LLL_Factorization.html

Loading...

web/entries/Lifting_Definition_Option.html

Loading...

web/entries/Linear_Inequalities.html

Loading...

web/entries/Matrix.html

Loading...

web/entries/Partial_Function_MR.html

Loading...

web/entries/Perron_Frobenius.html

Loading...

web/entries/Polynomial_Factorization.html

Loading...

web/entries/Polynomial_Interpolation.html

Loading...

web/entries/Polynomials.html

Loading...

web/entries/Real_Impl.html

Loading...

web/entries/Show.html

Loading...

web/entries/Simplex.html

Loading...

web/entries/Sqrt_Babylonian.html

Loading...

web/entries/Stochastic_Matrices.html

Loading...

web/entries/Subresultants.html

Loading...

web/entries/Sunflowers.html

Loading...

web/entries/Transitive-Closure-II.html

Loading...

web/entries/Transitive-Closure.html

Loading...

web/entries/XML.html

Loading...

web/index.html

Loading...

web/rss.xml

Loading...

web/statistics.html

Loading...

web/topics.html

Loading...