приглашенный доклад на семинаре “Алгебраическая биология и теория систем” 15 декабря 2021 (abstract)(announcment)
November 29, 2021
Унивалентные основания и прикладная математика.
Comments Off on Унивалентные основания и прикладная математика.
Компьютерные доказательства и их понимание человеком: случай унивалентных оснований
Доклад на конференции Интеллектуальные системы и компьютерные науки, МГУ, 29 ноября – 3 декабря 2021 (extended abstract)
Comments Off on Компьютерные доказательства и их понимание человеком: случай унивалентных оснований