Loading article…
INTLAB（INTerval LABoratory）は、MATLABとGNU Octaveを使用した区間演算ライブラリ[1] [2] [3] [4]で、Windows、Linux、macOSで利用できます。ハンブルク工科大学のSM Rumpによって開発されました。INTLABは、VERSOFT [5]やINTSOLVER [6]などの他のMATLABベースのライブラリの開発に使用され、 100ドル100桁チャレンジ問題のいくつかを解くために使用されました。[7]
| 原作者 | SM ランプ |
|---|---|
| 開発者 | SM ランプ・ クリーヴ・モーラー 大石伸一 他 |
| 書かれた | MATLAB / GNU オクターブ |
| オペレーティング·システム | Unix、Microsoft Windows、macOS |
| 利用可能 | 英語 |
| タイプ | 検証済みの数値 計算 コンピュータ支援による証明 区間演算 アフィン演算 数値線形代数 根探索アルゴリズム 数値積分 自動微分 常微分方程式の数値解法 |
| Webサイト | 翻訳： |
バージョン履歴
- 1998年12月30日 バージョン1
- 1999年3月6日 バージョン2
- 1999年11月16日 バージョン3
- 2002年3月7日 バージョン3.1
- 2002年12月8日 バージョン4
- 2002年12月27日 バージョン4.1
- 2003年1月22日 バージョン4.1.1
- 2003年11月18日 バージョン4.1.2
- 2004年4月4日 バージョン5
- 2005年6月4日 バージョン5.1
- 2005年12月20日 バージョン5.2
- 2006年5月26日 バージョン5.3
- 2007年5月31日 バージョン5.4
- 2008年11月5日 バージョン5.5
- 2009年5月8日 バージョン6
- 2012年12月12日 バージョン7
- 2013年6月24日 バージョン7.1
- 2014年5月10日 バージョン8
- 2015年1月22日 バージョン9
- 2016年12月7日 バージョン9.1
- 2017年5月29日 バージョン10
- 2017年7月24日 バージョン10.1
- 2017年12月15日 バージョン10.2
- 2019年1月7日 バージョン11
- 2020年3月6日 バージョン12
機能性
INTLAB は、区間演算を使用して次の数学/数値問題を解決するのに役立ちます。
INTLABが引用した文献
INTLAB は、共著者との研究を含む、主著者のこれまでの研究に基づいています。
- SM Rump:高速かつ並列な区間演算、BIT数値数学39(3)、539–560、1999年。
- S. Oishi、SM Rump: 行列方程式の解の高速検証、Numerische Mathematik 90、755–773、2002。
- T. Ogita、SM Rump、およびS. Oishi。正確な合計とドット積、SIAM Journal on Scientific Computing (SISC)、26(6):1955–1988、2005。
- SM Rump, T. Ogita, S. Oishi. 高速高精度総和法. 非線形理論とその応用 (NOLTA), IEICE, 1(1), 2010.
- SM Rump: 究極的に高速で正確な合計、SIAM Journal on Scientific Computing (SISC)、31(5):3466–3502、2009年。
- SM Rump、T. Ogita、S. Oishi: 正確な浮動小数点加算I: 忠実な丸め。SIAM Journal on Scientific Computing (SISC)、31(1): 189–224、2008年。
- SM Rump、T. Ogita、S. Oishi: 正確な浮動小数点加算II: 符号、K倍忠実度、および最も近い値への丸め。SIAM Journal on Scientific Computing (SISC)、31(2):1269–1302、2008年。
- SM Rump: 究極的に高速で正確な合計、SIAM Journal on Scientific Computing (SISC)、31(5):3466–3502、2009年。
- SM Rump. 密な線形システムの正確な解、パート II: 有向丸めを使用したアルゴリズム。計算および応用数学ジャーナル(JCAM)、242:185–212、2013 年。
- SM Rump. 最小二乗問題と不確定線形システムの検証済み境界。SIAM Journal of Matrix Analysis and Applications (SIMAX)、33(1):130–148、2012年。
- SM Rump: 最小二乗問題および劣決定線形システムに対するコンポーネントごとに検証された誤差境界の改善、Numerical Algorithms、66:309–322、2013。
- R. Krawzcyk、A. Neumaier: 有理関数の区間傾斜とそれに関連する中心形式、SIAM Journal on Numerical Analysis 22、604–616 (1985)
- SM Rump:非線形関数の値域の拡張と推定、計算数学65(216)、pp.1503–1512、1996年。
外部リンク
- イントラボ
- INTLAB貢献者リスト
- ヴェルソフト
- 解決者
- AWA ツールボックスの簡単なデモンストレーション
- テイラーモデルツールボックスの簡単なデモンストレーション
参照
参考文献
- ^ abcdefghi SM Rump: INTLAB – INTerval LABoratory。Tibor Csendes 編著『Developments in Reliable Computing』、77～104 ページ。Kluwer Academic Publishers、ドルドレヒト、1999 年。
- ^ ab Moore, RE, Kearfott, RB, & Cloud, MJ (2009). 区間解析入門.産業応用数学協会.
- ^ abcdefg Rump, SM (2010). 検証方法: 浮動小数点演算を使用した厳密な結果Acta Numerica , 19, 287–449.
- ^ abcd Hargreaves, GI (2002). MATLABでの区間解析. 数値アルゴリズム, (2009.1).
- ^ Rohn, J. (2009). VERSOFT: MATLAB /INTLABの検証ソフトウェア。
- ^ Montanher, TM (2009). Intsolver: グローバル最適化のための区間ベースツールボックス。バージョン 1.0。
- ^ Bornemann, F., Laurie, D., & Wagon, S. (2004). SIAM 100桁チャレンジ: 高精度数値計算の研究. Society for Industrial and Applied Mathematics .
- ^ SM Rump: 正定値の検証、BIT Numerical Mathematics、46 (2006)、433–452。
- ^ SM Rump, M. Kashiwagi: アフィン演算の実装と改良、非線形理論とその応用 (NOLTA)、IEICE、2015年。
- ^ Lohner, RJ (1987). 通常の初期値問題と境界値問題の解の囲み. コンピュータ算術, 225–286.
- ^ LB Rall: 自動微分化: テクニックとアプリケーション、Lecture Notes in Computer Science 120、Springer、1981 年。
- ^ SM Rump. 浮動小数点範囲全体にわたる実ガンマ関数の検証された鋭い境界。非線形理論とその応用 (NOLTA)、IEICE、Vol.E5-N、No. 3、2014 年 7 月。