国际实验室 swMATH ID: 4004 软件作者: 齐格弗里德·M·臀部。 描述: INTLAB是用于可靠计算和自验证算法的Matlab工具箱。它包括自验证方法稠密线性系统(也包括内部包含和结构矩阵)稀疏s.p.d.线性系统非线性方程组(包括无约束优化)一元和多元非线性方程的根(简单和簇)特征值问题(简单和簇,以及内部包含和结构矩阵)广义特征值问题(简单和簇)一元函数的求积一元多项式零点(简单和簇)包含向量和矩阵的实际和复杂数据的区间算法(非常快)实和复稀疏矩阵的区间算法(非常快)自动微分(正向模式,矢量化计算,快速)梯度(用于求解非线性方程组)Hessians(用于全局优化)一元函数的泰勒级数自动斜率(顺序法,对许多变量来说速度较慢)(简单)一元函数的验证积分一元和多元(区间)多项式严格的实数区间标准函数(快速、非常准确、3 ulps)严格的复杂区间标准函数(快速、严格,但不一定尖锐包含)严格的输入/输出(外部和内部包含)精确求和、点积和矩阵向量残差(解释、参考实现、缓慢)带误差边界的多精度区间算法(完成任务,速度慢) 主页: 网址:http://www.ti3.tu-harburg.de/rump/intlab/ 依赖项: Matlab公司 相关软件: Matlab公司;mctoolbox软件;C-XSC 2.0版;C-XSC(C-XSC);并入PT_90;VERSOFT公司;个人资料/偏差;mf工具箱;BLAS公司;数学软件;MPFR公司;github;切布冯;盖勒普;RODES公司;Ck分析;舒适的;细屑++;LAPACK公司;千伏 引用于: 473出版物 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 INTLAB–内部实验室。 Zbl 0949.65046号齐格弗里德·M·臀部。 1999 全部的 前5名507位作者引用 36 Jean-Philippe Lessard 34 齐格弗里德·迈克尔(Siegfried Michael),臀部 29 宫岛、新亚 27 小西,神道 25 Nakao,Mitsuhiro T。 17 米雷斯·詹姆斯(Jason D.Mireles-James)。 15 范登伯格、扬·布韦 15 渡边吉隆 14 大田武史 12 拉迪克,米兰 11 武彦基诺西塔 10 罗伯特·卡斯泰利 10 刘雪峰 10 田中,川崎 9 木村、高沼 9 曼索尔·宾·蒙西 9 阿诺德·诺伊梅尔 9 秋藤忠雄(Takayasu,Akitoshi) 8 安德烈亚斯·弗洛默 8 迈克尔·普卢姆 8 托马斯·瓦纳 7 马克西姆·布列登 7 贝纳姆·哈希米 7 王正宇 6 加布里埃尔·艾奇费尔德 6 桥本、库吉 6 纳斯鲁丁·哈桑 6 Makoto水口 6 Nataraj,Paluri S.V.公司。 6 Katsuhisa小崎 6 Ryoo,Cheon Seoung先生 6 山本信仁 5 格茨·E·阿勒费尔德。 5 哈比尔·安提尔 5 Csendes,Tibor公司 5 亚历山大·戈德斯特恩 5 罗纳德·霍普(Ronald H.W.Hoppe)。 5 乔纳森·贾奎特 5 贝克·基尔福特 5 卢博米尔·科列夫。 5 李哲 5 Teruya Minamoto 5 安德烈亚斯·劳赫 5 赫尔曼·施奇尔 5 库塔·塞金 4 陈晓军 4 凯文·丘奇。 4 Dehghan Takht Fooladi,迈赫迪 4 Dehghani-Madiseh、Marzieh 4 穹顶,费伦茨 4 马提亚斯·海因肯施洛斯 4 Kaori Nagatou 4 娜塔莉·雷沃 4 奥利弗·斯坦因 4 丰田贤治 三 哈拉尔德·阿斯切曼 三 叶卡捷琳娜·奥尔 三 陈阳泉 三 乔治·柯利斯(George F.Corliss)。 三 塔赫雷埃夫特哈里 三 卡洛斯·加西亚·阿斯佩蒂亚 三 哈桑,马利克·阿布 三 埃伯哈德·霍弗(Eberhard P.Hofer)。 三 沃尔特·克雷默 三 雷内·拉穆尔 三 布鲁诺·朗 三 Leong和Wah June 三 克里斯托弗·林森曼 三 卢瑟、沃尔夫拉姆·杰罗姆 三 斯维托斯拉夫·马里诺维奇·马尔科夫 三 萨米尔·马丁斯。 三 康斯坦丁·米柴科夫 三 马库斯·尼赫尔 三 埃里维尔顿·杰拉尔多·内波穆塞诺 三 朱莉娅·尼普林 三 罗德里格斯,小海托·M· 三 日本樱井 三 伊芙琳·桑德 三 广岛杉浦 三 沃里克·塔克 三 埃里克·沃尔特 三 夏碧灿 三 你,春光 2 克莱尔·S·阿奇曼。 2 安孝成 2 Alt,René 2 Arounassalame,M。 2 Asai、Taisei 2 诺哈利萨·阿布·巴卡尔 2 巴赫蒂亚里,帕里萨 2 布莱克·巴克 2 弗洛里安·班格尔 2 蔡淑婷 2 安妮·库伊特。 2 戴安娜·埃丝特·韦兹·施瓦兹 2 奥斯瓦尔德Fogelklou 2 马西奥·加梅罗。 2 尤尔根·加洛夫 2 马修·格洛姆斯基 2 达曼德拉·库马尔·古普塔 …还有407名作者 全部的 前5名133篇连载文章被引用 52 计算与应用数学杂志 22 日本工业与应用数学杂志 19 应用数学与计算 18 全球优化杂志 15 可靠的计算 14 线性代数及应用 12 微分方程杂志 12 SIAM应用动力系统杂志 11 数值算法 10 比特币 10 计算 10 SIAM数值分析杂志 8 ACM数学软件汇刊 7 SIAM矩阵分析与应用杂志 6 数值线性代数及其应用 6 软计算 6 非线性科学与数值模拟中的通信 6 应用数学科学(俄语) 6 计算动力学杂志 5 计算机与数学及其应用 5 Automatica公司 4 非线性 4 数值泛函分析与优化 4 数值数学 4 应用数值数学 4 动力学和微分方程杂志 4 Indagationes Mathematicae公司。新系列 4 SIAM科学计算杂志 三 数学分析与应用杂志 三 卡尔科洛 三 国际工程数值方法杂志 三 物理D 三 数学编程。A系列B系列 三 天体力学和动力学天文学 三 SIAM优化杂志 三 计算与应用数学 三 ELA公司。线性代数电子期刊 三 优化方法和软件 三 国际应用数学与计算机科学杂志 三 计算数学基础 2 计算物理杂志 2 计算数学 2 信息科学 2 数学和计算机建模 2 数学应用 2 SIAM数学分析杂志 2 国际鲁棒非线性控制杂志 2 国际应用科学与工程分叉与混沌杂志 2 非线性科学杂志 2 计算数学进展 2 离散和连续动力系统 2 不等式与应用杂志 2 远东数学科学杂志 2 离散和连续动力系统。B系列 2 系统科学与复杂性杂志 2 机器学习研究杂志(JMLR) 2 国际纯粹与应用数学杂志 2 计算机科学中的数学 2 国际数学分析杂志 1 人工智能 1 理性力学和分析档案 1 德国数学实验室(DMV) 1 工程数学杂志 1 富兰克林学院学报 1 线性代数和多线性代数 1 数学进展 1 控制与控制论 1 捷克斯洛伐克数学杂志 1 积分方程与算子理论 1 国际电路理论与应用杂志 1 最优化理论与应用杂志 1 模拟中的数学和计算机 1 非线性分析。理论、方法和应用。系列A:理论与方法 1 Opsearch(操作搜索) 1 阿根廷马特马提卡大学修订版 1 理论计算机科学 1 数学应用学报 1 复杂性杂志 1 构造性近似 1 IMA数学控制与信息杂志 1 COMPEL公司 1 应用数学快报 1 科学计算杂志 1 欧洲应用数学杂志 1 计算几何 1 M(^3)AS公司。应用科学中的数学模型与方法 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 工程中的数学问题 1 科学计算与可视化 1 Vychislitel’nye Tekhnologii公司 1 扎姆。Zeitschrift für Angewandte Mathematik und Mechanik公司 …还有33部连续剧 全部的 前5名43个领域被引用 361 数值分析(65-XX) 85 偏微分方程(35-XX) 62 线性代数和多线性代数;矩阵理论(15-XX) 58 运筹学、数学规划(90-XX) 51 常微分方程(34-XX) 41 动力系统和遍历理论(37至XX) 35 计算机科学(68至XX) 26 系统论;控制(93至XX) 23 算子理论(47-XX) 17 流体力学(76-XX) 13 粒子和系统力学(70-XX) 12 变分法与最优控制;最优化(49至XX) 10 复变量的函数(30年XX月) 9 近似值和展开值(41至XX) 9 可变形固体力学(74-XX) 7 概率论与随机过程(60-XX) 7 生物学和其他自然科学(92-XX) 6 交换代数(13-XX) 6 实际功能(26年X月X日) 5 场论和多项式(12-XX) 5 整体分析,流形分析(58至XX) 5 信息与通信理论、电路(94-XX) 4 功能分析(46倍X倍) 三 数学逻辑和基础(03-XX) 三 组合数学(05-XX) 三 欧氏空间的调和分析(42至XX) 三 统计学(62-XX) 三 光学、电磁理论(78-XX) 三 统计力学,物质结构(82-XX) 2 总体主题;集合(00-XX) 2 数论(11-XX) 2 代数几何(14-XX) 2 特殊功能(33至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) 按年份列出的引文