Popular repositories Loading

1. sum-difference sum-difference Public

   Improved universal sum–difference inequalities and an upper bound for the Gyarmati–Hennecart–Ruzsa constant, with proof paper and Lean 4 formalization.

   Lean 1 1

2. masked-digit-sum-difference-bound masked-digit-sum-difference-bound Public

   Proof and verification package for lower bound on Gyarmati-Hennecart-Ruzsa sum-difference constant via masked-digit construction.

   Lean

3. optimizationproblems optimizationproblems Public

   Forked from teorth/optimizationproblems

   A collection of optimization problems in mathematics

   HTML

4. rust-ordered-float rust-ordered-float Public

   Forked from reem/rust-ordered-float

   Rust