Convex Optimization
Log-determinant concavity
Author-hosted text, §3.1.5,
printed p. 74. Supports the spectral log-det calculation in
SCORE-ERROR-RETENTION-BUDGET; it does not state that reporting theorem.
Stephen Boyd and Lieven Vandenberghe, Cambridge University Press, 2004; section 3.1.5, printed p. 74 inspected during O8 audit.