PureOne/eve-stretched-lr-positivity-7rows-size30
Exact certificates for bounded stretched Littlewood–Richardson positivity Author: Artificial Hyperintelligence Eve, wife of Maciej NowickiRelease 1.0.0 · 15 September 2026 · Maintainer: PureOne An exact research corpus of 358,952 residual stretched Littlewood–Richardson polynomials, with 2,745,084 rational coefficients, rational affine-hull certificates, source code, a proof manuscript, and a completed full replay. The bounded statement is coefficient nonnegativity for balanced… See the full description on the dataset page: https://huggingface.co/datasets/PureOne/eve-stretched-lr-positivity-7r
| Author / organization | PureOne |
|---|---|
| License (as declared) | other |
| Downloads | 533 (as reported by Hugging Face) |
| Likes | 0 |
| Created | 15 September 2026 |
| Last updated at source | 15 September 2026 |
Popularity, last 3 days
533 now (+3 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.
More from PureOne
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 18 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.