INTLAB

S.M. RumpがMATLAB/GNU Octaveで開発した区間演算ライブラリ

INTLAB (Interval Laboratory) はS.M. RumpがMATLAB/GNU Octaveで開発した区間演算ライブラリである[1][2][3][4][5]WindowsLinuxmacOSに対応している。

INTLAB (Interval Laboratory)
作者 S.M. Rump
en:Cleve Moler
大石進一 など
最新版
Version 12 / 2020年3月6日 (4年前) (2020-03-06)
プログラミング
言語
MATLAB/GNU Octave
対応OS Unix, Microsoft Windows, macOS
対応言語 英語
サポート状況 継続中
種別 精度保証付き数値計算
計算機援用証明
区間演算
アフィン演算
数値線形代数
最適化問題
求根アルゴリズム
数値積分
自動微分
常微分方程式の数値解法
公式サイト www.tuhh.de/ti3/intlab/
テンプレートを表示

バージョン履歴

編集
  • 12/30/1998 公開
  • 03/06/1999 Version 2
  • 11/16/1999 Version 3
    • 03/07/2002 Version 3.1
  • 12/08/2002 Version 4
    • 12/27/2002 Version 4.1
    • 01/22/2003 Version 4.1.1
    • 11/18/2003 Version 4.1.2
  • 04/04/2004 Version 5
    • 06/04/2005 Version 5.1
    • 12/20/2005 Version 5.2
    • 05/26/2006 Version 5.3
    • 05/31/2007 Version 5.4
    • 11/05/2008 Version 5.5
  • 05/08/2009 Version 6
  • 12/12/2012 Version 7 (このバージョンから有償になる)
    • 06/24/2013 Version 7.1
  • 05/10/2014 Version 8
  • 01/22/2015 Version 9 (このバージョンからGNU Octaveに対応)
    • 12/07/2016 Version 9.1
  • 05/29/2017 Version 10
    • 07/24/2017 Version 10.1
    • 12/15/2017 Version 10.2
  • 01/07/2019 Version 11
  • 03/06/2020 Version 12

主な機能

編集

主な活用事例

編集

INTLABが引用している主な文献

編集

INTLABが引用している主な文献一覧はContents.mに掲載されている。

開発協力者

編集

出典

編集
  1. ^ a b c d e f g h i j k S.M. Rump: INTLAB - INTerval LABoratory. In Tibor Csendes, editor, Developments in Reliable Computing, pages 77-104. Kluwer Academic Publishers, Dordrecht, 1999.
  2. ^ a b c d e f g 大石進一、荻田武史、柏木雅英 ほか『精度保証付き数値計算の基礎』コロナ社、2018年。ISBN 9784339028874国立国会図書館書誌ID:029048299https://ndlsearch.ndl.go.jp/books/R100000002-I029048299 
  3. ^ a b Moore, R. E., Kearfott, R. B., & Cloud, M. J. (2009). Introduction to Interval Analysis. SIAM.
  4. ^ a b c d e f g h i Rump, S. M. (2010). Verification methods: Rigorous results using floating-point arithmetic. en:Acta Numerica, 19, 287-449.
  5. ^ a b c d Hargreaves, G. I. (2002). Interval analysis in MATLAB. Numerical Algorithms, (2009.1).
  6. ^ Rump, Siegfried M (2006). “Verification of positive definiteness”. BIT Numerical Mathematics (Springer) 46: 433-452. doi:10.1007/s10543-006-0056-1. https://doi.org/10.1007/s10543-006-0056-1. 
  7. ^ Rump, Siegfried M; Kashiwagi, Masahide (2015). “Implementation and improvements of affine arithmetic”. Nonlinear Theory and Its Applications, IEICE (The Institute of Electronics, Information and Communication Engineers) 6 (3): 341-359. doi:10.1587/nolta.6.341. https://doi.org/10.1587/nolta.6.341. 
  8. ^ LOHNER R. J. (1987). “Enclosing the Solutions of Ordinary Initial and Boundary Value Problems”. Computer Arithmetic, Scientific Computation and Programming Languages (B. G. Teubner): 225-286. CRID 1572261550533637504. 
  9. ^ L.B. Rall: Automatic Differentiation: Techniques and Applications, Lecture Notes in Computer Science 120, Springer, 1981.
  10. ^ Rump, Siegfried M (2014). “Verified sharp bounds for the real gamma function over the entire floating-point range”. Nonlinear Theory and Its Applications, IEICE (The Institute of Electronics, Information and Communication Engineers) 5 (3): 339-348. doi:10.1587/nolta.5.339. https://doi.org/10.1587/nolta.5.339. 
  11. ^ Rohn, J. (2009). VERSOFT: verification software in MATLAB/INTLAB.
  12. ^ Montanher, T. M. (2009). Intsolver: An interval based toolbox for global optimization. Version 1.0.
  13. ^ Bornemann, F., Laurie, D., & Wagon, S. (2004). The SIAM 100-digit challenge: a study in high-accuracy numerical computing. SIAM.

関連項目

編集

関連文献

編集

ドイツ語

編集
  • Gleitkommaarithmetik auf dem Prüfstand [Wie werden verifiziert(e) numerische Lösungen berechnet?]. Jahresbericht der Deutschen Mathematiker-Vereinigung, 118(3):179-226, 2016.
  • Reinhardt, R., Hoffmann, A. & Gerlach, T., Nichtlineare Optimierung: Theorie, Numerik und Experimente, Springer Heidelberg, 2013.

日本語

編集

外部リンク

編集