情報科学 › 研究のための計算の実務 › 検算と検証

製造解の方法

定義 3.8(「検算と検証」§3)

方程式 Lu=f\mathcal{L}u = f を解くコードを検証するために、解 u†u^{\dagger} を先に自由に選び、f†=Lu†f^{\dagger} = \mathcal{L}u^{\dagger} を手計算(または数式処理)で求めて右辺とし、境界条件も u†u^{\dagger} から作る。コードに f†f^{\dagger} を与えて得た数値解と u†u^{\dagger} の差を、刻みを変えて測る。この u†u^{\dagger} を製造解という。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。