Popular repositories Loading

1. frankl-complete-four-sets frankl-complete-four-sets Public

   Verification code and exact certificates accompanying Frankl-complete sunflowers and extremal families of four-sets.

   Lean

2. tutte-threshold tutte-threshold Public

   Exact replacement weights and verification code for the sharp multiplicative Merino–Welsh threshold on matroids.

   Lean

3. wilf-s8 wilf-s8 Public

   TeX

4. permanent-on-top-order-four permanent-on-top-order-four Public

   Exact certificates and verification programs for Permanent-on-top bounds in order four.

   Lean

5. equidistant-lines-verification equidistant-lines-verification Public

   Exact verification for eight equidistant lines in R³; catalogue input obtained separately from its original source.

   Lean

6. bras-amoros-monotonicity bras-amoros-monotonicity Public

   Verification code and exact computational data for Genus monotonicity for numerical semigroups.

   TeX