From univariate polynomials to probabilistically checkable and error-tolerant proofs


TBD

Прочтения курсов

Семестр Город
осень 2018 Санкт-Петербург