ConceptDynamics / CONCEPT
Finite order types of counted cyclic words
Finite order types of counted cyclic words
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH5
DOCUMENT LINKS0
Order-type decomposition of the integer word sum
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
- Coordinates for actual fixed blocksstructural-affinity · Closed
- Counted edges and overlap conjugacystructural-affinity · Closed
- Finite two-sided state-splitting inductionstructural-affinity · Closed
- Kotěšovec's first monomial-sum conjecturestructural-affinity · Closed
- Kotěšovec's second monomial-sum conjecturestructural-affinity · Closed
- Original primitive-path orbits and forward gyrationstructural-affinity · Closed
- Original18.3: fixed block rigiditystructural-affinity · Closed
- The actual numbered-path triangle modulo threestructural-affinity · Closed
- The binomial polynomial and explicit integral numeratorstructural-affinity · Closed
- The same signed integer gyration liftstructural-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