数値解析のための形式検証とアルゴリズム発見に関するポスドクポ... ノート

数値解析のための形式検証とアルゴリズム発見に関するポスドクポジション

[これはAnnalisa Buffa氏によるゲスト投稿です。このブログ記事は当初、異なるファイル形式で作成され、AIによって変換されました。— T.] 私たちとポジションについて EPFLの数値モデリング・シミュレーション講座は、偏微分方程式のための数値アルゴリズムの設計と解析に専念しています。私たちの研究 […]