Eight papers on extremal polynomial coefficients, with Lean 4 proofs and executable checks.
Lean Updated 28 days ago 1 commits
synth-dev|Mirror: bangyen/coefficient-mass (⭐0)
28 days agoAbout
Eight papers on extremal polynomial coefficients, with Lean 4 proofs and executable checks.
Readme