Arith / CONCEPT
Granvik's Möbius and Mertens identities
The diagonal and first row of the Granvik Mertens array.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH8
DOCUMENT LINKS0
The diagonal and the Mertens row
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Circulants and odd cosine pairingstructural-affinity · Closed
- Kotěšovec's first monomial-sum conjecturestructural-affinity · Closed
- Multiplicity from Fourier mode separationstructural-affinity · Closed
- Original primitive-path orbits and forward gyrationstructural-affinity · Closed
- Roldán's integral circulant energy conjecturestructural-affinity · Closed
- The actual numbered-path triangle modulo threestructural-affinity · Closed
- The binomial polynomial and explicit integral numeratorstructural-affinity · Closed
- The polynomial coefficient certificate for integral circulant energystructural-affinity · Closed
- Zhi-Wei Sun's OEIS A228884 composite gcd-determinant boundstructural-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