A project to formalize the theory of asymptotic spectra, a theory developed by Volker Strassen. This project is based on the survey Asymptotic Spectra: Theory, Applications and Extensions by Avi Wigderson and Jeroen Zuiddam.
entropyincreaser / asymptoticspectra Goto Github PK
View Code? Open in Web Editor NEWA project to formalize the theory of asymptotic spectra, a theory developed by Volker Strassen.