早稲田大学 数理科学研究所 link
早稲田大学 基幹理工学部 応用数理学科 link
早稲田 基幹理工学部 数学科 link
早稲田大学 大石進一研究室 link
kv - C++による精度保証付き数値計算ライブラリ link
VCP Library link
INTLAB - INTerval LABoratory link
arXiv math.NA Numerical Analysis link
第5回 JST 数学領域 未解決問題ワークショップ link
memo(管理者のみ)