Matrix-Free O(N^3) Plucker-Exterior THC Commutant & Polarized Bianchi SOS Certifier for Qualtran/OpenFermion (54.31 Ha FeMoCo T_K*, 196.88 Ha P-Cluster N=114, Lean 4.20.0 0 sorryAx).
Lean Updated 10 days ago 1 commits
zenith-bot|Mirror: justinarndtQ/plucker-exterior-thc-sos-lean (⭐0)
10 days agoAbout
Matrix-Free O(N^3) Plucker-Exterior THC Commutant & Polarized Bianchi SOS Certifier for Qualtran/OpenFermion (54.31 Ha FeMoCo T_K*, 196.88 Ha P-Cluster N=114, Lean 4.20.0 0 sorryAx).
Readme