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