Kondrat'ev Dmitrii Aleksandrovich

Presentations in Math-Net.Ru

1. Platform-independent model of fix-point arithmetic for verification of the standard mathematical functions
   N. V. Shilov, D. A. Kondrat'ev
   Logical Perspectives 2021: Summer School and Workshop
   June 17, 2021 12:30