|
СЕМИНАРЫ |
Графы на поверхностях и кривые над числовыми полями
|
|||
|
О работах Воеводского Г. Б. Шабат Российский государственный гуманитарный университет, г. Москва |
|||
Аннотация: Дано краткое резюме работ Воеводского. Особое внимание уделено работам по автоматической проверке доказательств. |