Skip to content

WIP: Import Davis–Kahan rotation of eigenvectors - #511

Open
Vilin97 wants to merge 59 commits into
mainfrom
codex/import42-aiq-davis-kahan-1970-rotation-eigenvectgors-perturbation-formalization
Open

Vilin97 wants to merge 59 commits into
mainfrom
codex/import42-aiq-davis-kahan-1970-rotation-eigenvectgors-perturbation-formalization