R.B.Kearfott, M.Neher, S.Oishi, F.Rico: "Libraries, Tools, and Interactive Systems for Verified Computations : Four Case Studies, in Numerical Software with Result Verification"Lecture Notes in Computer Science (ed. R.Alt, A.Frommer, R.B.Kearfott, W.Luthe
R.B.Kearfott, M.Neher, S.Oishi, F.Rico: "Libraries, Tools, and Interactive Systems for Verified Computations : Four Case Studies, in Numerical Software with Result Verification"Lecture Notes in Computer Science (ed. R.Alt, A.Frommer, R.B.Kearfott, W.Luthe
复制标题
R.B.Kearfott、M.Neher、S.Oishi、F.Rico：“用于验证计算的库、工具和交互式系统：具有结果验证的数值软件中的四个案例研究”计算机科学讲义（R.Alt 编，
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
