Research proof index

The "definition of temperature from entropy": 1/T = (∂S/∂U), when the derivative is at constant extrinsic d (typically N/V). Here we use β instead of 1/T on the left, and express the right actually as (∂S/∂β)/(∂U/∂β), as all our things are ultimately parameterized by β. This identity requires the denominator ∂U/∂β to be nonzero.

The conditions inQuadSolProp R and inQuadProp (proj R.1.1) are equivalent. This is to be expected since both R and proj R.1.1 define the same plane with Y₃ and B₃.

Extensionality lemma for accCube.

The expansion of asTensor into complexContrBasis basis of tensor product vectors.

The generators of the Clifford algebra correspond to the elements σ.

The decomposition of a self-adjoint matrix into the Pauli matrices (where σi are negated).