Arith / CONCEPT
One Step
Second order log determinant bounds and accumulated drift.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
PROOF DEPTH0
DOCUMENT LINKS1
log le sub one sub sq
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
RELATED KNOWLEDGE
Structural connections
- Chain Driftstructural-affinity · Closed
- Dischargestructural-affinity · Closed
- GOETailstructural-affinity · Closed
- GOETail2structural-affinity · Closed
- Good Eventstructural-affinity · Closed
- Step Gluestructural-affinity · Closed
- Step Inputsstructural-affinity · Closed
- Step Inputs2structural-affinity · Closed
- The graph energy game and an unbalanced bipartite obstructionstructural-affinity · Closed
- The order-one boundary of the cyclic SGB extensionstructural-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