INTLAB - INTLAB

INTLAB (Ішкі зертхана) болып табылады аралық арифметика кітапхана[1][2][3][4] қолдану MATLAB және GNU октавасы, қол жетімді Windows және Linux, macOS. Оны С.М. Арқасынан Гамбург технологиялық университеті. INTLAB басқа MATLAB негізіндегі VERSOFT сияқты кітапханаларды дамыту үшін пайдаланылды[5] және INTSOLVER,[6] және ол кейбір мәселелерді шешу үшін қолданылды Жүз долларлық, жүз сандық Challenge проблемалары.[7]

INTLAB (аралық зертхана)
Түпнұсқа автор (лар)С.М. Бөртпе
ӘзірлеушілерС.М. Бөртпе
Клив Молер
Шиничи Ойши т.б.
ЖазылғанMATLAB /GNU октавасы
Операциялық жүйеUnix, Microsoft Windows, macOS
Қол жетімдіАғылшын
ТүріСандық сандар
Компьютер көмегімен дәлелдеу
Аралық арифметика
Аффиндік арифметика
Сандық сызықтық алгебра
тамыр табу алгоритмі
Сандық интеграция
Автоматты дифференциация
Қарапайым дифференциалдық теңдеулердің сандық әдістері
Веб-сайтwww.ti3.tu-harburg.де/ rump/ intlab/

Нұсқа тарихы

  • 30.12.1998 1-нұсқа
  • 03.06.1999 2-нұсқа
  • 16.11.1999 3-нұсқа
    • 03/07/2002 3.1 нұсқасы
  • 12.08.2002 4-нұсқа
    • 27.12.2002 4.1 нұсқасы
    • 22.01.2003 4.1.1 нұсқасы
    • 18.11.2003 4.1.2 нұсқасы
  • 4/04/2004 5-нұсқа
    • 5/04/2005 5.1 нұсқасы
    • 20.12.2005 5.2 нұсқасы
    • 26.05.2006 5.3 нұсқасы
    • 31.05.2007 5.4 нұсқасы
    • 5. 5-нұсқа
  • 05.08.2009 6-нұсқа
  • 12.12.2012 7-нұсқа
    • 24.06.2013 7.1 нұсқасы
  • 05/10/2014 8-нұсқа
  • 22.01.2015 9-нұсқа

Функционалдылық

INTLAB пайдаланушыларға аралық арифметикамен келесі математикалық / сандық есептерді шешуге көмектесе алады.

INTLAB келтірген жұмыстар

INTLAB негізгі автордың алдыңғы зерттеулеріне, оның авторлармен бірлескен жұмыстарына негізделген.

  • S. M. Rump: жылдам және параллель аралық арифметика, BIT Сандық математика 39(3), 539–560, 1999.
  • С.Ойши, С.М.Румп: матрицалық теңдеулер шешімдерін жылдам тексеру, Numerische Mathematik 90, 755–773, 2002.
  • Т.Огита, С.М.Рамп және С.Ойши. Дәл сома мен нүктелік өнім, SIAM Journal on Scientific Computing (SISC), 26 (6): 1955–1988, 2005.
  • С.М. Румп, Т.Огита және С.Ойши. Жылдам жоғары дәлдіктегі қорытынды. Сызықты емес теория және оның қолданылуы (NOLTA), IEICE, 1 (1), 2010 ж.
  • С.М. Rump: түпкілікті жылдам дәл қорытынды, SIAM Journal on Scientific Computing (SISC), 31 (5): 3466-3502, 2009.
  • С.М. Рамп, Т. Огита және С.Ойши: дәл өзгермелі нүкте. I қорытынды: сенімді дөңгелектеу. SIAM Journal on Scientific Computing (SISC), 31 (1): 189-224, 2008.
  • С.М.Рамп, Т.Огита және С.Ойши: дәл өзгермелі нүкте бойынша қорытынды II: белгі, Қ- адал және жақындастыру. SIAM Journal on Scientific Computing (SISC), 31 (2): 1269–1302, 2008 ж.
  • S. M. Rump: ақыр соңында тез, нақты қорытынды, SIAM Journal on Scientific Computing (SISC), 31 (5): 3466-3502, 2009.
  • S. M. Rump. Тығыз сызықтық жүйелердің дәл шешімі, II бөлім: бағытталған дөңгелектеу көмегімен алгоритмдер. Есептеу және қолданбалы математика журналы (JCAM), 242: 185–212, 2013 ж.
  • S. M. Rump. Ең кіші квадраттардың проблемалары мен анықталмаған сызықтық жүйелер үшін расталған шекаралар. SIAM Matrix Analysis and Applications Journal (SIMAX), 33 (1): 130–148, 2012 ж.
  • S. M. Rump: ең кіші квадраттарға және анықталмаған сызықтық жүйелерге арналған компоненттер бойынша тексерілген қателік шектері жақсартылған, Сандық алгоритмдер, 66: 309-322, 2013.
  • Р. Кравцик, А. Ноймайер: рационалды функциялар мен байланысты орталықтандырылған формалардың интервалдық беткейлері, SIAM журналы сандық талдау 22, 604–616 (1985)
  • S. M. Rump: Сызықты емес функциялар ауқымын кеңейту және бағалау, Есептеу математикасы 65 (216), 1503-1512 бб, 1996 ж.

Сыртқы сілтемелер

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ а б в г. e f ж сағ мен С.М. Rump: INTLAB - Intralal LAB лабораториясы. Тибор Ссендесте, редактор, «Сенімді есептеулердің дамуы», 77–104 беттер. Kluwer Academic Publishers, Дордрехт, 1999 ж.
  2. ^ а б Moore, R. E., Kearfott, R. B., & Cloud, M. J. (2009). Интервалды талдауға кіріспе. Өнеркәсіптік және қолданбалы математика қоғамы.
  3. ^ а б в г. e f ж Rump, S. M. (2010). Тексеру әдістері: өзгермелі нүктелік арифметиканы қолданудың қатаң нәтижелері. Acta Numerica, 19, 287–449.
  4. ^ а б в г. Hargreaves, G. I. (2002). Аралық талдау MATLAB. Сандық алгоритмдер, (2009.1).
  5. ^ Rohn, J. (2009). VERSOFT: тексеру бағдарламасы MATLAB / INTLAB.
  6. ^ Montanher, T. M. (2009). Intsolver: ғаламдық оңтайландыруға арналған интервалға негізделген құралдар қорабы. 1.0 нұсқасы.
  7. ^ Борнеманн, Ф., Лори, Д., & Вагон, С. (2004). SIAM 100 таңбалы міндет: жоғары дәлдіктегі сандық есептеулерді зерттеу. Өнеркәсіптік және қолданбалы математика қоғамы.
  8. ^ S. M. Rump: оң анықтылықты тексеру, BIT Сандық математика, 46 (2006), 433–452.
  9. ^ С.М. Румп, М.Кашиваги: ​​Аффиндік арифметиканы енгізу және жетілдіру, Сызықты емес теория және оны қолдану (NOLTA), IEICE, 2015 ж.
  10. ^ Лохнер, Дж. (1987). Қарапайым бастапқы және шекті есептердің шешімдерін қоршау. Компьютерлік арифметика, 225–286.
  11. ^ ФУНТ. Ралл: Автоматты дифференциация: әдістері мен қолданбалары, информатикадағы дәріс жазбалары 120, Springer, 1981.
  12. ^ С.М. Бөртпе. Барлық өзгермелі нүктелер диапазонында нақты гамма функциясының анықталған шекаралары. Сызықтық емес теория және оның қолданылуы (NOLTA), IEICE, Vol. E5-N, № 3, шілде, 2014 ж.