Skip to content

Forem

# combinatorics

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

Nobuki Fujimoto

Apr 21

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

Nobuki Fujimoto

Apr 21

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.