INTLAB

INTLAB

INTLAB(Interval LABoratory)는 MATLAB와 GNU 옥타브를 사용하는 인터벌 산술 라이브러리로서[1][2][3][4], Windows와 Linux, MacOS에서 이용할 수 있다.함부르크 공과대학의 S.M. 럼프가 개발했다.INTLAB는 VERSoft와[5] INTSOLVER와 같은 다른 MATLAB 기반 라이브러리를 개발하기 위해 사용되었고,[6] 백 달러, 백 자릿수 챌린지 문제에서 몇 가지 문제를 해결하는 데 사용되었다.[7]

INTLAB(Interval Laboratory)
원본 작성자SM 럼프
개발자SM 럼프
클레브 몰러
오이시 신이치 등
기록 위치MATLAB/GNU 옥타브
운영 체제Unix, Microsoft Windows, MacOS
다음에서 사용 가능영어
유형유효숫자
컴퓨터 보조 교정쇄
구간 산술
아핀 산술
수치 선형대수학
뿌리 찾기 알고리즘
수치적 통합
자동 분화
일반 미분방정식의 수치적 방법
웹사이트www.tuhh.de/ti3/intlab/

버전 이력

  • 1998년 12월 30일 버전 1
  • 03/06/1999 버전 2
  • 1999년 11월 16일 버전 3
    • 03/07/2002 버전 3.1
  • 2002/12/08 버전 4
    • 2002년 12월 27일 버전 4.1
    • 01/22/2003 버전 4.1.1
    • 11/18/2003 버전 4.1.2
  • 2004년 4월 4일 버전 5
    • 06/04/2005 버전 5.1
    • 2005년 12월 20일 버전 5.2
    • 05/26/2006 버전 5.3
    • 05/31/2007 버전 5.4
    • 2008년 11월 5일 버전 5.5
  • 05/08/2009 버전 6
  • 2012년 12월 12일 버전 7
    • 06/24/2013 버전 7.1
  • 2014년 5월 10일 버전 8
  • 2015년 1월 22일 버전 9
    • 2016년 7월 12일 버전 9.1
  • 05/29/2017 버전 10
    • 2017년 7월 24일 버전 10.1
    • 2017년 12월 15일 버전 10.2
  • 01/07/2019 버전 11
  • 03/06/2020 베스리온 12

기능

INTLAB는 사용자가 구간 산술로 다음과 같은 수학적/수리적 문제를 해결하도록 도울 수 있다.

INTLAB에서 인용한 작품

INTLAB는 공동저자와의 작품 등 주요 저자의 이전 연구에 바탕을 두고 있다.

  • S. M. 럼프: 고속 및 병렬 구간 산술, BIT 수치 수학 39(3), 539–560, 1999.
  • S. 오이시, S. M. 럼프: 행렬 방정식의 용액의 빠른 검증, 수태식 90, 755–773, 2002.
  • T. 오기타, S. M. 럼프, S.Oisi. 정확한 Sum and Dot Product, SIAM Journal on Scientific Computing (SISC), 26:1955–1988, 2005.
  • S.M. 럼프, T. 오기타, S.오이시. 빠른 고정밀도 합계.비선형 이론 및 그 적용(NOLTA), IEICE, 1(1), 2010.
  • S.M. 럼프:궁극적으로 빠른 정확도 합계, SISC(Scientific Computing on Scientific Computing), 31(5):3466–3502, 2009.
  • S.M. 럼프, T. 오기타, S.오이시:정확한 플로팅 포인트 합계 I: 충실한 라운딩.SISC(Scientific Computing, SIAM Journal on Scientific Computing, 31(1): 189–224, 2008.
  • S. M. 럼프, T. 오기타, S.오이시: 정확한 부동소수점 합계 II: 사인, K-폴드 충실도 및 가장 가까운 곳에 반올림.SISC(Scientific Computing, SIAM Journal on Scientific Computing), 31(2):1269–1302, 2008.
  • S. M. 럼프:궁극적으로 빠른 정확도 합계, SISC(Scientific Computing on Scientific Computing), 31(5):3466–3502, 2009.
  • SM 럼프촘촘한 선형 시스템의 정확한 솔루션, Part II: 방향 반올림을 이용한 알고리즘.Journal of Computing and Applied Mathical (JCAM), 242:185–212, 2013.
  • SM 럼프최소 제곱 문제 및 충분히 결정된 선형 시스템에 대한 확인된 한계.SIAM Journal of Matrix Analysis and Applications(SIMAX), 33(1):130–148, 2012.
  • S. M. Rump: 최소 사각형 문제와 과소 결정된 선형 시스템에 대해 성분별로 검증된 오차 범위 개선, 수치 알고리즘, 66:309–322, 2013.
  • R. Krawzcyk, A.노이마이어:수치해석에 관한 SIAM Journal 22, 604–616 (1985)
  • S. M. Rump: 비선형 함수의 범위 확장 및 추정, 연산 65(216), 페이지 1503–1512, 1996.

외부 링크

참고 항목

참조

  1. ^ a b c d e f g h i S.M. Rump: INTLAB – INTERval Laboratory.Tibor Csendes, 편집자, 신뢰할 수 있는 컴퓨팅의 개발, 77-104페이지.1999년 Dordrecht의 Kluwer Academic Publishers.
  2. ^ a b 무어, R. E., Kearfott, R. B., & Cloud, M. J. (2009)Interval Analter Analysis(간격 분석)공업 및 응용 수학 협회
  3. ^ a b c d e f g 럼프, S. M. (2010)검증 방법: 부동소수점 산술을 사용한 엄격한 결과.Acta Numerica, 19, 287–449.
  4. ^ a b c d 하그리브스, G. I. (2002)MATLAB의 구간 분석.수치 알고리즘, (2009.1)
  5. ^ Rohn, J. (2009년).VERSoft: MATLAB/INTLAB의 검증 소프트웨어.
  6. ^ 몬타너, T. M. (2009)인솔버:전역 최적화를 위한 간격 기반 도구 상자.버전 1.0.
  7. ^ 보르네만, F, 로리, D, & 왜건, S. (2004)SIAM 100자리 도전: 고정밀도 수치 컴퓨팅에 관한 연구공업 및 응용 수학 협회
  8. ^ S. M. Rump: 양의 명확성의 검증, BIT 수치 수학, 46 (2006), 433–452.
  9. ^ S.M. 럼프, M. 가시와기:부속 산술, 비선형 이론 및 그 적용(NOLTA), IEICE, 2015의 구현 및 개선.
  10. ^ 로너, R. J. (1987년).일반적인 초기 및 경계 값 문제의 해결책을 동봉한다.컴퓨터 연산 225–286.
  11. ^ L.B. 랄:자동 차별화:기술 및 응용, 컴퓨터 과학 120, 스프링거, 1981년 강의 노트
  12. ^ SM 럼프전체 부동 소수점 범위에 걸쳐 실제 감마 함수에 대해 확인된 예리한 한계.비선형 이론과 그 응용 (NOLTA), IEICE, Vol.E5-N, 2014년 7월 3일.