Trusting computations: A mechanized proof from partial differential equations to actual program

Computers & Mathematics with Applications, pp. 325-352, 2014.

被引用16|引用|浏览32|来源
EI
关键词
acoustic wave equationconvergence of numerical schemeformal proof of numerical programrounding error analysis

摘要

Computer programs may go wrong due to exceptional behaviors, out-of-bound array accesses, or simply coding errors. Thus, they cannot be blindly trusted. Scientific computing programs make no exception in that respect, and even bring specific accuracy issues due to their massive use of floating-point computations. Yet, it is uncommon to gu...更多

代码

数据

您的评分 :
0

 

标签
评论