Combinatorics / CONCEPT
Algebra
Second peak SecondPeakHighD: Algebra
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES5
PROOF DEPTH19
DOCUMENT LINKS0
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Algebrastructural-affinity · Closed
- All a>c>max(b,d), b,d>=2, including b=dstructural-affinity · Closed
- Combinatorics: Arithmeticstructural-affinity · Closed
- Combinatorics: Boundary Algebrastructural-affinity · Closed
- Combinatorics: Certificatestructural-affinity · Closed
- Combinatorics: Nativestructural-affinity · Closed
- Combinatorics: Physical Banksstructural-affinity · Closed
- Combinatorics: Polynomialsstructural-affinity · Closed
- Combinatorics: Polynomials Cornerstructural-affinity · Closed
- Combinatorics: Polynomials Separatedstructural-affinity · Closed
- Combinatorics: Roundingstructural-affinity · Closed
- Every independent natural 2<=c,d<a<=bstructural-affinity · Closed
- Every independent natural 2<=d<c<a<=bstructural-affinity · Closed
- Every original (a,a,d+2,d), 2<=a and a+2<=dstructural-affinity · Closed
- Every original (a,b,d+2,d), 2<=b<a, with a+3<=d or b=2 and d=a+2structural-affinity · Closed
- Every original natural 2<=a<=b=d<cstructural-affinity · Closed
- Four independent gaps, with no uniform allocation assumptionstructural-affinity · Closed
- IntegerCoverstructural-affinity · Closed
- LowBitsstructural-affinity · Closed
- Original labels and exact unbounded domainstructural-affinity · Closed
- Original labels and exact unbounded domainstructural-affinity · Closed
- Positive coefficient cone certificates 1structural-affinity · Closed
- Positive coefficient cone certificates 2structural-affinity · Closed
- Positive coefficient cone certificates 3structural-affinity · Closed
- Positive coefficient cone certificates 4structural-affinity · Closed
- Strict 2<=a<b<d, d+3<=c; fallback (2,3,d+2,d), d>=4structural-affinity · Closed
- The same occurrence at every usestructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance