共 9 条
[1]
Zvezdina M.Yu.(2015)Hermitian matrix inversion algorithm Vestn. Donskogo Gos. Tekh. Univ. 15 78-84
[2]
Komova O.V.(2019)Platform-independent specification and verification of the standard mathematical square root function Autom. Control Comput. Sci. 53 595-616
[3]
Shatskiy N.V.(undefined)undefined undefined undefined undefined-undefined
[4]
Shokov A.V.(undefined)undefined undefined undefined undefined-undefined
[5]
Shilov N.V.(undefined)undefined undefined undefined undefined-undefined
[6]
Kondratyev D.A.(undefined)undefined undefined undefined undefined-undefined
[7]
Anureev I.S.(undefined)undefined undefined undefined undefined-undefined
[8]
Bodin E.V.(undefined)undefined undefined undefined undefined-undefined
[9]
Promsky A.V.(undefined)undefined undefined undefined undefined-undefined