Resource

Navigation page for Blueprint/D5/S3/Resource/ at upstream snapshot 880384c42100f2d04436d97c4ac862e91b4bba85.

Contents

• Properness of the Composite Matrix-Cone Inclusions
• CompositeCones
• The Inclusion Chain of Composite Matrix Cones
• The Divide-Conquer Lemma for Resource Functionals
• Finite-Horizon Permutation Simulation Cost
• LogDet
• The Log-Determinant Divergence
• Equality in the Log-Determinant Divergence
• Nonnegativity of the Log-Determinant Divergence
• Logical Reversibility by Retaining the Input
• Minimum iid span retrieval and the finite-length Pareto obstruction
• The Price Face of an Equality
• Canonical Separable Cone Residual
• Connected Hessian Normalization
• Represented Spanning Polynomial Hessian Induction
• The Original Simplex Coverage Optimizer
• Represented Spanning Polynomial Dependencies
• Actual Physical Sampling Probability Bridge
• Represented Spanning Polynomial Root Concavity
• Spanning-Filtered Physical Word Normalization
• The Submodular Greedy Approximation Guarantee
• A Vandermonde refutation of the universal hyperbolic bound