7.2 参考になる資料

• Rump 自身の論文

  INTLAB - INTerval LABoratory, in Developments in Reliable Computing, ed. T. Csendes, pp. 77-104, Kluwer Academic Publishers, Dordrecht, 1999.

• Rump 自らの Review 論文

  Verification methods: Rigorous results using floating-point arithmetic in Acta Numerica

• SIAM から出版されている区間演算のテキスト

  Introduction to Interval Analysis by Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud

• Gareth Hargreaves の修士論文

  Interval Analysis in Matlab

  の中にチュートリアルがある。