Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Logical Perspectives 2021: Summer School and Workshop
17 июня 2021 г. 12:30–13:00, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online
 


Platform-independent model of fix-point arithmetic for verification of the standard mathematical functions

N. V. Shilov, D. A. Kondrat'ev
Видеозаписи:
MP4 716.3 Mb
Материалы:
Adobe PDF 942.2 Kb
Adobe PDF 260.3 Kb

Количество просмотров:
Эта страница:41
Видеофайлы:12
Материалы:5


Видео не загружается в Ваш браузер:
  1. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  2. Сообщите администратору портала о данной ошибке


Материалы: workshop_shilov_kondratiev_slides.pdf (942.2 Kb), workshop_shilov_kondratiev.pdf (260.3 Kb)

Язык доклада: английский

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021