Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection






Logical Perspectives 2021: Summer School and Workshop
June 17, 2021 12:30–13:00, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
 


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

N. V. Shilov, D. A. Kondrat'ev
Video records:
MP4 716.3 Mb
Supplementary materials:
Adobe PDF 260.3 Kb
Adobe PDF 942.2 Kb

Number of views:
This page:164
Video files:22
Materials:24




Supplementary materials: workshop_shilov_kondratiev.pdf (260.3 Kb) , workshop_shilov_kondratiev_slides.pdf (942.2 Kb)

Language: English
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024