スキップしてメイン コンテンツに移動
TakLAB日誌
検索
このブログを検索
つくば計算機援用証明セミナー
Juliaで精度保証付き数値計算
2月, 2019の投稿を表示しています
すべて表示
投稿
平成30年度の工学システム学類卒業研究が終了しました
2月 15, 2019
活動報告
常微分方程式
精度保証付き数値計算
卒論
+
論文が出版されました
2月 12, 2019
arXiv
活動報告
精度保証付き数値計算
論文
+
その他の投稿