Weil / CONCEPT
Physical comparison for finite reflected Gaussian sources
Physical comparison for finite reflected Gaussian sources
Closed
DIRECT PREREQUISITES7
DIRECT CONSEQUENCES1
PROOF DEPTH12
DOCUMENT LINKS0
Coercivity on the same mass-zero source
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Actual finite Gaussian norm and complete-tail budgetstruth-dependency · Closed
- Weil: Cap4 Finite Perturbationtruth-dependency · Closed
- Weil: Compact Matrix Actual Jacobitruth-dependency · Closed
- Weil: Compact Matrix Actual Paymenttruth-dependency · Closed
- Weil: Compact Matrix Actual Ratiotruth-dependency · Closed
- Weil: Compact Matrix Checked Alltruth-dependency · Closed
- Weil: Finite Gaussian Infinite Jacobitruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual finite Gaussian norm and complete-tail budgetsstructural-affinity · Closed
- Uniform surplus for the reflected finite Gaussian familystructural-affinity · Closed
- Weil: Cap4 Finite Charge Budgetstructural-affinity · Closed
- Weil: Cap4 Finite Perturbationstructural-affinity · Closed
- Weil: Compact Matrix Actual Jacobistructural-affinity · Closed
- Weil: Compact Matrix Actual Paymentstructural-affinity · Closed
- Weil: Compact Matrix Actual Ratiostructural-affinity · Closed
- Weil: Compact Matrix Checked Allstructural-affinity · Closed
- Weil: Finite Gaussian Infinite Jacobistructural-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