Arith / CONCEPT
CofactorKernel
Primitive positive integer kernels give the multiplicities and lengths of minimal zero-sum sequences.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES6
PROOF DEPTH0
DOCUMENT LINKS0
augment zero
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
- Cofactor completeness of nonnegative kernelstruth-dependency · Closed
- CubeSimplexDeterminanttruth-dependency · Closed
- Low-degree alternating polynomials and the affine determinanttruth-dependency · Closed
- MinimalKernelPackingtruth-dependency · Closed
- PrimitivePenciltruth-dependency · Closed
- Sparse Shared Energy Relationstruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Circuits of a finite nonnegative kernelstructural-affinity · Closed
- Cofactor completeness of nonnegative kernelsstructural-affinity · Closed
- CubeSimplexDeterminantstructural-affinity · Closed
- Effect probability extensionstructural-affinity · Closed
- GirardPlagneBoxLimitstructural-affinity · Closed
- Low-degree alternating polynomials and the affine determinantstructural-affinity · Closed
- MinimalKernelPackingstructural-affinity · Closed
- PrimitivePencilstructural-affinity · Closed
- Real Copy Statistics and Conjugationstructural-affinity · Closed
- Sparse Shared Energy Relationsstructural-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