City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

From univariate polynomials to probabilistically checkable and error-tolerant proofs


TBD

Course Offerings

Semester Branch
autumn 2018 Saint Petersburg