Source-pinned research
Search theorem names, mathematical ideas, modules, topics, projects, and role-labelled researchers. Open a result for its complete indexed Lean declaration and source record.
This index contains 2,569 curated research declarations and 119,070 complete package declarations. Search 10,000 more complete Mathlib declarations.
Showing 1,231 to 1,236 of 2,569 results.
GuruswamiSudan.natWeightedDegree_coeffsToPoly_le
Mathematical statement
The weighted degree of the polynomial constructed from coefficients is bounded by D.
Source project: ArkLib
Person-level attribution pending.
GuruswamiSudan.natWeightedDegree_smul_le
Mathematical statement
The weighted degree of a scalar multiple is at most the weighted degree of the polynomial.
Source project: ArkLib
Person-level attribution pending.
GuruswamiSudan.natWeightedDegree_sum_le
Mathematical statement
The weighted degree of a sum is bounded by the supremum of the weighted degrees.
Source project: ArkLib
Person-level attribution pending.
GuruswamiSudan.numVars_lower_bound_tight
Mathematical statement
A tighter lower bound for the number of variables when k > 1 : 2(k-1) * numVars ≥ D(D+2).
Source project: ArkLib
Person-level attribution pending.
GuruswamiSudan.polySol_ne_zero
Mathematical statement
The solved polynomial is non-zero.
Source project: ArkLib
Person-level attribution pending.
GuruswamiSudan.proximity_gap_degree_bound_sq_gt
Mathematical statement
Lower bound for the square of (D+1). Specifically, (D+1)^2 > (m+1/2)^2 * (k+1) * n.
Source project: ArkLib
Person-level attribution pending.