Сложность вычислений: дополнительные главы 12. Завершение доказательства MIP = NEXP @ SciTopus
SciTopus
Научпоп лента
Загрузка ленты...