标签: 每日动态-算法模型

0

Verification in Scientific Computing

Verification in Scientific Computing: from Pristine to Practical to Perimeter-Extending Joseph M. Powers Department of Aerospace and Mechanical Engineering University of Notre Dame ASME V&V 2020 V