Observer / CONCEPT
StrictDriftVector
The source is P(r,b)=[[r,b],[r(1-r)/b,1-r]], with b>0 and 0≤r≤1
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES1
PROOF DEPTH0
DOCUMENT LINKS0
Fourth numerator and drift coefficient
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
- BoundedWholeGainstructural-affinity · Closed
- Common-word source sensitivitystructural-affinity · Closed
- CompactWorldstructural-affinity · Closed
- EscapeBarrierstructural-affinity · Closed
- OriginalWorldstructural-affinity · Closed
- ParentCoordinatesstructural-affinity · Closed
- ResponseProperstructural-affinity · Closed
- SourceCompactificationstructural-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