Machine-Native ReasoningReading edition

37. Robust curved certificates and noisy geometry

Reading tools
Reading library

Saved reading

Read side by side

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

Let \(\mathcal L_d=\{(m,v):m\geq\|v\|_2\}\), with mass row \(\lambda=(1,0,\ldots,0)\). A mass preserving invertible matrix \(T\) transports a proposed predictive domain to this cone. Its normalized base in the original coordinates is