Similar to 計算機援用証明
条件数
Condition number
シンプレクティック数値積分法
Symplectic integrator
数値的安定性
Numerical stability
スツルムの定理
Sturm's theorem
スペクトル法
Spectral method精度 (算術)
Precision (computer science)
積分器
Integrator
線型近似
Linear approximation
線型多段法
Linear multistep method
選点法
Collocation method
代用電荷法
Method of fundamental solutions
中点法
Midpoint method
超収束
Superconvergence
重畳加算法
Overlap–add method
電磁汎用AE法
狙い撃ち法
Shooting method
バーンスタイン多項式
Bernstein polynomial
パデ近似
Padé approximant
リチャード・バルガ
Richard S. Varga
非調和解析
フォン・ノイマンの安定性解析
Von Neumann stability analysis
ブダンの定理
Budan's theorem
浮動小数点数
Floating-point arithmetic
アンドレアス・フロマー
分散減少法
Variance reduction
Bezier clipping
放射基底関数
Radial basis function
放物線補間
Successive parabolic interpolation
