×

国际实验室

swMATH编号: 4004
软件作者: 齐格弗里德·M·臀部。
描述: INTLAB是用于可靠计算和自验证算法的Matlab工具箱。它包括自验证方法稠密线性系统(也包括内部包含和结构矩阵)稀疏s.p.d.线性系统非线性方程组(包括无约束优化)一元和多元非线性方程的根(简单和簇)特征值问题(简单和簇,以及内部包含和结构矩阵)广义特征值问题(简单和簇)一元函数的求积一元多项式零点(简单和簇)包含向量和矩阵的实际和复杂数据的区间算法(非常快)实和复稀疏矩阵的区间算法(非常快)自动微分(正向模式、矢量化计算、快速)梯度(用于求解非线性方程组)Hessians(用于全局优化)单变量函数的Taylor级数自动斜率(顺序法,对许多变量来说速度较慢)(简单)一元函数的验证积分一元和多元(区间)多项式严格的实数区间标准函数(快速、非常准确、3 ulps)严格的复杂区间标准函数(快速、严格,但不一定尖锐包含)严格的输入/输出(外部和内部包含)精确求和、点积和矩阵向量残差(解释、参考实现、缓慢)带误差边界的多精度区间算法(完成任务,速度慢)
主页: 网址:http://www.ti3.tu-harburg.de/rump/intlab/
依赖项: Matlab公司
相关软件: Matlab公司;mctoolbox软件;C-XSC 2.0版;输入_90;C-XSC(C-XSC);VERSOFT公司;mf工具箱;个人资料/偏差;github;BLAS公司;牛仔竞技;数学软件;细屑++;Ck分析;MPFR公司;盖勒普;切布芬;千伏;舒适的;LAPACK公司
引用于: 508文件
全部的 前5名

549位作者引用

39 齐格弗里德·迈克尔(Siegfried Michael),臀部
38 Jean-Philippe Lessard
30 宫岛、新亚
28 Nakao,Mitsuhiro T。
28 小西,神道
20 米雷斯·詹姆斯(Jason D.Mireles-James)。
17 渡边吉隆
15 范登伯格、扬·布韦
14 大田武史
13 武彦基诺西塔
12 拉迪克,米兰
11 秋藤忠雄(Takayasu,Akitoshi)
10 罗伯特·卡斯泰利
10 刘雪峰
10 田中,川崎
9 马克西姆·布列登
9 木村,Takuma
9 曼索尔·宾·蒙西
9 阿诺德·诺伊梅尔
9 迈克尔·普卢姆
9 托马斯·瓦纳
8 安德烈亚斯·弗罗默
7 贝纳姆·哈希米
7 桥本、库吉
7 Makoto水口
7 王正宇
7 山本信仁
6 加布里埃尔·艾奇费尔德
6 纳斯鲁丁·哈桑
6 Nataraj,Paluri S.V.公司。
6 Katsuhisa小崎
6 Ryoo,Cheon Seoung先生
6 库塔·塞金
5 Alefeld,Götz E。
5 哈比尔·安提尔
5 Csendes,Tibor公司
5 Dehghani-Madiseh、Marzieh
5 亚历山大·戈德斯特恩
5 罗纳德·霍普(Ronald H.W.Hoppe)。
5 乔纳森·贾奎特
5 贝克·基尔福特
5 卢博米尔·科列夫。
5 李哲
5 Teruya Minamoto
5 安德烈亚斯·劳赫
5 娜塔莉·雷沃
5 赫尔曼·施奇尔
4 陈晓军
4 凯文·丘奇。
4 Dehghan Takht Fooladi,迈赫迪
4 穹顶,费伦茨
4 马蒂亚斯·海因肯施洛斯
4 Leong和Wah June
4 Kaori Nagatou
4 伊芙琳·桑德
4 奥利弗·斯坦因
4 丰田贤治
3 哈拉尔德·阿斯切曼
3 叶卡捷琳娜·奥尔
3 布莱克·巴克
3 陈阳泉
3 乔治·柯利斯(George F.Corliss)。
3 塔赫雷埃夫特哈里
3 卡洛斯·加西亚·阿斯佩蒂亚
3 哈桑,马利克·阿布
3 Eberhard P.霍弗。
3 谢恩·开普勒
3 沃尔特·克雷默
3 雷内·拉穆尔
3 布鲁诺·朗
3 马可·兰格
3 克里斯托弗·林森曼
3 卢瑟、沃尔夫拉姆·杰罗姆
3 斯维托斯拉夫·马里诺维奇·马尔科夫
3 马丁斯、萨米尔·安吉洛·米拉尼
3 卡纳梅·松井
3 康斯坦丁·米柴科夫
3 马库斯·尼赫尔
3 埃里维尔顿·杰拉尔多·内波穆塞诺
3 朱莉娅·尼普林
3 罗德里格斯,小海托·M·
3 日本樱井
3 广岛杉浦
3 沃里克·塔克
3 埃里克·沃尔特
3 夏碧灿
3 你,春光
3 志、李红
2 克莱尔·S·阿奇曼。
2 安孝成
2 Alt,René
2 Arounassalame,M。
2 Asai、Taisei
2 诺哈利萨·阿布·巴卡尔
2 巴赫蒂亚里,帕里萨
2 布雷哈德,弗洛伦特
2 弗洛里安·班格尔
2 蔡淑婷
2 马西耶·卡宾斯基。
2 安妮·库伊特。
…还有449位作者
全部的 前5名

140篇连载文章中引用

55 计算与应用数学杂志
24 日本工业与应用数学杂志
20 应用数学与计算
18 全球优化杂志
15 微分方程杂志
15 线性代数及应用
15 可靠的计算
14 SIAM应用动力系统杂志
12 数值算法
11 比特币
10 计算
10 SIAM数值分析杂志
8 ACM数学软件汇刊
8 SIAM矩阵分析与应用杂志
6 数值线性代数及其应用
6 软计算
6 非线性科学与数值模拟中的通信
6 应用数学科学(俄语)
6 计算动力学杂志
5 计算机与数学及其应用
5 非线性
5 Automatica公司
4 数值泛函分析与优化
4 数值数学
4 应用数值数学
4 动力学和微分方程杂志
4 Indagationes Mathematicae公司。新系列
4 SIAM科学计算期刊
4 计算数学基础
3 数学分析与应用杂志
3 卡尔科洛
3 国际工程数值方法杂志
3 物理D
3 SIAM数学分析杂志
3 数学编程。A系列B系列
3 天体力学和动力学天文学
3 SIAM优化杂志
3 非线性科学杂志
3 计算与应用数学
3 ELA公司。线性代数电子期刊
3 优化方法和软件
3 国际应用数学与计算机科学杂志
3 离散和连续动力系统。B系列
3 系统科学与复杂性杂志
2 理性力学和分析档案
2 计算物理杂志
2 计算数学
2 信息科学
2 非线性分析。理论、方法和应用。系列A:理论与方法
2 数学和计算机建模
2 科学计算杂志
2 数学应用
2 国际鲁棒非线性控制杂志
2 国际应用科学与工程分叉与混沌杂志
2 计算数学进展
2 离散和连续动力系统
2 不等式与应用杂志
2 远东数学科学杂志
2 机器学习研究杂志(JMLR)
2 国际纯粹与应用数学杂志
2 计算机科学中的数学
2 国际数学分析杂志
1 人工智能
1 德国财政部(DMV)
1 工程数学杂志
1 富兰克林研究所期刊
1 线性代数和多线性代数
1 数学进展
1 控制与控制论
1 捷克斯洛伐克数学杂志
1 积分方程与算子理论
1 国际电路理论与应用杂志
1 最优化理论与应用杂志
1 模拟中的数学与计算机
1 Opsearch(操作搜索)
1 阿根廷马特马提卡大学修订版
1 理论计算机科学
1 计算数学
1 数学应用学报
1 优化
1 复杂性杂志
1 构造性近似
1 IMA数学控制与信息杂志
1 COMPEL公司
1 应用数学快报
1 欧洲应用数学杂志
1 应用概率年鉴
1 计算几何
1 应用科学中的数学模型与方法
1 计算统计学
1 Alkalmazott Matematikai Lapok公司。Magyar Tudomanyos Akademia。Matematikai es Fizikai Tudomanyok Osztalyanak Közlemenyei公司
1 应用数学建模
1 国际计算机数学杂志
1 数学与应用杂志。Neuvième Série
1 系统设计中的形式化方法
1 土耳其数学杂志
1 诺迪亚。非线性微分方程及其应用
1 选择Mathematica。新系列
1 大地测量杂志
1 工程中的数学问题
…还有40多部连续剧
全部的 前5名

在44个字段中引用

381 数值分析(65-XX)
93 偏微分方程(35-XX)
65 线性代数和多线性代数;矩阵理论(15-XX)
63 运筹学、数学规划(90-XX)
56 常微分方程(34-XX)
46 动力系统和遍历理论(37至XX)
42 计算机科学(68至XX)
27 算子理论(47-XX)
26 系统论;控制(93至XX)
18 流体力学(76-XX)
15 粒子和系统力学(70-XX)
12 变分法与最优控制;最优化(49至XX)
11 可变形固体力学(74-XX)
10 复变量的函数(30年XX月)
10 近似值和展开值(41至XX)
9 概率论与随机过程(60-XX)
7 交换代数(13-XX)
7 生物学和其他自然科学(92-XX)
6 实函数(26年X月X日)
5 场论和多项式(12-XX)
5 欧氏空间的调和分析(42至XX)
5 功能分析(46倍X倍)
5 整体分析,流形分析(58至XX)
5 信息与通信理论、电路(94-XX)
4 特殊功能(33至XX)
3 数学逻辑和基础(03-XX)
3 组合数学(05-XX)
3 代数几何(14-XX)
3 统计学(62-XX)
3 光学、电磁理论(78-XX)
3 统计力学,物质结构(82-XX)
2 总体主题;集合(00-XX)
2 数论(11-XX)
2 差分方程和函数方程(39至XX)
2 积分方程(45-XX)
1 测量和集成(28-XX)
1 几何图形(51至XX)
1 凸和离散几何(52至XX)
1 一般拓扑结构(54至XX)
1 代数拓扑(55-XX)
1 流形和细胞复合体(57至XX)
1 量子理论(81-XX)
1 地球物理学(86-XX)
1 博弈论、经济学、金融和其他社会和行为科学(91-XX)

按年份列出的引文