Video library: N. V. Shilov, D. A. Kondrat'ev, Platform-independent model of fix-point arithmetic for verification of the standard mathematical functions

Videolibrary

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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

Supplementary materials:

workshop_shilov_kondratiev.pdf (260.3 Kb) ,

workshop_shilov_kondratiev_slides.pdf (942.2 Kb)

Language: English