Popular repositories Loading

1. eAndon eAndon Public

   Implementation of an electronic Andon system to visualize problems in a production company.

   Visual Basic .NET 10 7

2. eAndon-MVC eAndon-MVC Public

   Implementation of an electronic Andon system to visualize problems in a production company.

   CSS 6 4

3. real-rooted-random-polynomials real-rooted-random-polynomials Public

   Three closed-form theorems on the real-rootedness probability of random cubic polynomials, with a Lean 4/Mathlib formalization

   Lean

4. convex-position-probability convex-position-probability Public

   Exact closed forms and numerical evidence for convex-position probabilities P_K(n) at n=5,6 and their R^d analogues

   Python

5. saw-connective-constant saw-connective-constant Public

   Two rigorous lower bounds for the connective constant of self-avoiding walks on Z^2, exact-integer certified, independently re-verified, with a Lean 4 formalization

   Lean