11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics

被引:0
|
作者
Nakao, Mitsuhiro T.
Nagatou, Kaori
机构
来源
Reliab Comput | / 2卷 / 157-159期
关键词
Compendex;
D O I
暂无
中图分类号
学科分类号
摘要
Algorithms - Computer hardware - Computer programming languages - Finite element method - Identification (control systems) - Linear algebra - Optimization - Partial differential equations - Theorem proving
引用
收藏
相关论文
共 4 条