PrimeGaps / CONCEPT
Sound and complete normalized even search
Sound and complete normalized even search.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH3
DOCUMENT LINKS1
Sound and complete normalized even search
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
- Direct omission and local residue countsstructural-affinity · Closed
- Finite Local Residue Blocking Criterionstructural-affinity · Closed
- Finite Offset Singular Seriesstructural-affinity · Closed
- Independent occupancy and window inputsstructural-affinity · Closed
- Prime Gaps: Local Global Occupancy Separationstructural-affinity · Closed
- Prime Gaps: Prime Gap186 Admissibility Certificatestructural-affinity · Closed
- Prime Gaps: Prime Gap186 Finite Front Endstructural-affinity · Closed
- Prime Gaps: Prime Gap186 Source Contractstructural-affinity · Closed
- Prime Gaps: Prime Gap186 Two Axis Assemblystructural-affinity · Closed
- The exact admissible eight-tuple optimumstructural-affinity · Closed
- Two prime hits give a consecutive gapstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance