Гирш Эдуард Алексеевич

Доклады и лекции в базе данных Math-Net.Ru

1. Сложность (полу)алгебраических доказательств
   Э. А. Гирш
   Конференция международных математических центров мирового уровня
   9 августа 2021 г. 12:10
2. Нижние оценки схемной сложности булевых функций
   Э. А. Гирш
   Конференция профессоров РАН по Отделению математических наук РАН
   16 июня 2016 г. 11:45   
3. Доказательства с ошибками
   Э. А. Гирш
   Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН
   26 декабря 2011 г. 13:00   
4. Оптимальные системы доказательств и алгоритмы (обзор)
   Э. А. Гирш
   Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
   18 декабря 2009 г. 12:00   
5. Сложностная криптография: полные криптосистемы с открытым ключом
   Э. А. Гирш, Д. Ю. Григорьев, К. В. Первышев
   Заседания Московского математического общества
   11 апреля 2006 г.
6. Полуалгебраические доказательства
   Э. А. Гирш
   Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН
   25 марта 2003 г.
7. Полуалгебраические доказательства
   Э. А. Гирш
   Заседания Санкт-Петербургского математического общества
   25 марта 2003 г.
8. «Нелогические» доказательства для логических высказываний
   Э. А. Гирш
   Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН
   20 ноября 2000 г.