Machine-Native ReasoningReading edition

35. Curved domains and continuous observations

Reading tools
Reading library

Saved reading

Read side by side

Loading chapter…
Resources & source
PDF and editable source · Chapter source · About this edition

Let \(E=\mathbb R^r\) and let \(\mathbb S^d\) be the real symmetric \(d\times d\) matrices. Fix an injective linear map