Aleksey V. Promsky

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Kalman Filtering

Formal Verification

Platform Independent

Top Venues

Publications

Nikolay V. Shilov, Boris L. Faifel, Svetlana O. Shilova, Aleksey V. Promsky
Towards platform-independent specification and verification of the standard trigonometry functions. CoRR (2019)
Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev, Dmitry Kondratev, Aleksey V. Promsky
Towards platform-independent verification of the standard mathematical functions: the square root function. CoRR (2018)