Aleksey V. Promsky | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Nikolay V. Shilov
2 publications
Igor S. Anureev
1 publication
Mikhail Berdyshev
1 publication
Dmitry Kondratev
1 publication
Boris L. Faifel
1 publication
Svetlana O. Shilova
1 publication

research

∙ 01/10/2019

Towards platform-independent specification and verification of the standard trigonometry functions

Research project "Platform-independent approach to formal specification ...

0 Nikolay V. Shilov, et al. ∙

research

∙ 01/03/2018

Towards platform-independent verification of the standard mathematical functions: the square root function

The paper presents (human-oriented) specification and (pen-and-paper) ve...

0 Nikolay V. Shilov, et al. ∙