Voozh

VOOZH

URL: https://dev.to/t/combinatorics

⇱ Combinatorics - DEV Community

👁 fc0web profile

Nobuki Fujimoto

Sylvester-Schur Partial Lean 4 Formalization and the 699 <-> 961 Bridge (Rei-AIOS Paper 133)

#math #lean #research #combinatorics

11 min read

👁 fc0web profile

Nobuki Fujimoto

First Lean 4 Formalization of Bipartite Ramsey Number b(2,2)=5 with native_decide Certification (Rei-AIOS Paper 131)

#math #lean #combinatorics #ramsey

7 min read

👁 fc0web profile

Nobuki Fujimoto

First Lean 4 Formalization of the Davenport Constant D(Z_n) and D(Z2 x Z2): native_decide Certificates with EGZ Bridge (Rei-AIOS Paper 128)

#math #lean #research #combinatorics

11 min read

👁 fc0web profile

Nobuki Fujimoto

First Lean 4 Computational Formalization of Schur Numbers S(2), S(3), S(4) and Small-Value EGZ Witnesses (Rei-AIOS Paper 127)

#math #lean #research #combinatorics

10 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.