関連リンク

[団体]

• 日本応用数理学会

[個人]

• 精度保証付き数値計算（大石進一，早稲田大学）
• INTLAB - INTerval LABoratory (S. M. Rump, TUHH)