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