×

找到72个软件包(结果1-72)

国际实验室

软件作者:屁股,齐格弗里德M。
参考文献: 470份出版物(1999-2022)
相关软件: Matlab语言;mc工具箱;C-xsc2.0;C-XSC;语调90;维索夫特…
主要领域: 常微分方程组(34-XX);偏微分方程组(35-XX);动力系统与遍历理论(37-XX)

语调90

软件作者:Kearfott,R.Baker
参考文献: 304种出版物(1996-2021年)
相关软件: 国际实验室;轮廓/偏差;C-XSC;C-xsc2.0;男爵;数字…
主要领域: 常微分方程组(34-XX);数值分析(65-XX);计算机科学(68-XX)

隔离

软件作者:鲁伊勒,法布里斯;Zimmermann,保罗
参考文献: 223种出版物(1999-2023年)
相关软件: 克罗内克;FGb公司;枫树;单数;突触;拉吉布…
主要领域: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)

轮廓/偏差

软件作者:克努贝尔,O。
参考文献: 132种出版物(1979-2021年)
相关软件: 语调90;C-XSC;国际实验室;C-xsc2.0;filib++;国际图书馆…
主要领域: 数值分析(65-XX);计算机科学(68-XX);粒子与系统力学(70-XX)

罗德斯

软件作者:塔克,沃里克
参考文献: 128种出版物(2002-2022)
相关软件: CAPD;泰勒;国际实验室;开普勒98;潮汐;Matlab…
主要领域: 常微分方程组(34-XX);偏微分方程组(35-XX);动力系统与遍历理论(37-XX)

盛宴

软件作者:唐平德彼得;波利兹,埃里克
参考文献: 89种出版物(2012-2022)
相关软件: CIRR公司;JDQZ公司;Loppcg.m公司;SparseMatrix公司;JDQR;ARPACK…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程组(35-XX);算子理论(47-XX)

CAPD公司

软件作者:杰布朗斯基;Kapela,T.,Mrozek,M.,Pilarczyk,P.,Wilczak,D.,Zgliczynski,P。
参考文献: 77种出版物(2005-2022)
相关软件: 棒;国际实验室;舒适的;泰勒;叮当声;红魔…
主要领域: 常微分方程组(34-XX);偏微分方程组(35-XX);动力系统与遍历理论(37-XX)

数学硕士

软件作者:弗雷德里克·约翰逊
参考文献: 55种出版物(2010-2022)
相关软件: 圣哲数学;数学;神经质;同情;DLMF;蟒蛇…
主要领域: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)

摊铺机

软件作者:劳伦特·格兰维利尔斯
参考文献: 51种出版物(2003-2017)
相关软件: 数字;语调90;监狱;ICOS;德雷尔;RSOLVER…
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

ACRITH-XSC公司

软件作者:沃尔特,沃尔夫冈诉。
参考文献: 48种出版物(1985-2019)
相关软件: C-XSC;C-xsc2.0;帕斯卡-XSC;国际图书馆;国际实验室;FORTRAN-SC…
主要领域: 常微分方程组(34-XX);偏微分方程组(35-XX);数值分析(65-XX)

MPFI公司

软件作者:雷沃,娜塔莉;鲁伊勒,法布里斯
参考文献: 43种出版物(1979-2022)
相关软件: MPFR;隔离;gmp;C-xsc2.0;圣哲数学;轮廓/偏差…
主要领域: 数论(11-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)

国际贸易银行

软件作者:基尔福特,R.贝克;诺沃亚,曼努埃尔三世
参考文献: 31种出版物(1990-2018)
相关软件: 国际图书馆;易趣网;数字;安提戈涅;ICOS;C-XSC 2.0…
主要领域: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)

国际图书馆

软件作者:基尔福特,R.B。;达万德,M。;胡,C。
参考文献: 28种出版物(1992-2018)
相关软件: 轮廓/偏差;国际实验室;C-XSC;国际贸易银行;Matlab语言;布拉斯…
主要领域: 偏微分方程组(35-XX);数值分析(65-XX);经典热力学,传热学(80-XX)

基准

软件作者:拉斯坎,斯特凡;她,志坤
参考文献: 25种出版物(2005-2021年)
相关软件: RSOLVER公司;索尔弗;海因奇;法弗;宿便;QEPCAD…
主要领域: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)

RAMAS风险计算

软件作者:费森S。
参考文献: 18种出版物(2003-2022)
相关软件: 斯塔图尔;FEAPpv;爱沙尼亚;R;IPP工具箱;DSI工具箱…
主要领域: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)

瓦伦西亚

软件作者:劳赫,A;霍弗,E.P。;奥尔,E。
参考文献: 19种出版物(2008-2020)
相关软件: 瓦伦西亚静脉注射;舒适的;FADBAD++;轮廓/偏差;智能手机;国际实验室…
主要领域: 常微分方程组(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)

cc(FD)

软件作者:范亨登里克,帕斯卡;萨拉斯瓦特,维杰;德维尔,伊夫
参考文献: 17种出版物(1998-2021)
相关软件: CPLEX公司;巧克力;彗星;仆从;盎司;通用电气代码…
主要领域: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)

科拉

软件作者:Matthias Althoff,Niklas Kochdumper公司
参考文献: 15种出版物(2016-2022)
相关软件: SpaceEx公司;HYST公司;C2e2;海因奇;法弗;MPT…
主要领域: 常微分方程组(34-XX);凸与离散几何(52-XX);计算机科学(68-XX)

Boost区间算法

软件作者:伯尼曼,赫维;梅尔奎恩,纪尧姆;皮昂,西尔文
参考文献: 15种出版物(2005-2020)
相关软件: 促进;libMC公司;SCIP;安提戈涅;格洛米库;林多全球…
主要领域: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)

监狱

软件作者:哥阿拉德,F。
参考文献: 13种出版物(2004-2020)
相关软件: 轮廓/偏差;数字;摊铺机;filib++;国际实验室;iBexpot…
主要领域: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)

VPI

软件作者:伊利,杰弗里S。
参考文献: 14种出版物(1993-2005)
相关软件: Verilog公司;CADAC公司;C-XSC;ACRITH-XSC;轮廓/偏差;国际图书馆…
主要领域: 历史与传记(01-XX);复变函数(30-XX);数值分析(65-XX)

野山羊

软件作者:查伯特,G;尼宁,约旦
参考文献: 13种出版物(2009-2022)
相关软件: 数字;轮廓/偏差;filib++;易趣网;摊铺机;监狱…
主要领域: 常微分方程组(34-XX);数值分析(65-XX);计算机科学(68-XX)

hikmot公司

软件作者:尼尔·霍夫曼;一原一郎,和硕;Kashiwagi,Masahide;Masai,Hidetoshi;大石,新一;高桥,秋东明
参考文献: 12种出版物(2016-2022)
相关软件: 敏捷;鲷鱼;github;小蟒蛇;里贾纳;岩浆…
主要领域: 代数拓扑学(55-XX);流形和细胞复合体(57-XX);全局分析,流形分析(58-XX)

VSDP

软件作者:五。Härter公司;C、 詹森;M、 兰格
参考文献: 12种出版物(2009-2019)
相关软件: 摩泽克;沉香;亚尔米普;SDPT3;SDPA;CSDP…
主要领域: 偏微分方程组(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)

intpakX公司

软件作者:克鲁默,沃尔特
参考文献: 11种出版物(2003-2015)
相关软件: 枫树;国际实验室;C-xsc2.0;filib++;PNM;MPFI…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);凸与离散几何(52-XX);数值分析(65-XX)

区间算术

软件作者:Kearfott,R.Baker
参考文献: 9种出版物(1996-2017)
相关软件: 国际图书馆;语调90;GSL公司;EISPACK公司;Matlab语言;拉帕克…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程组(35-XX);统计(62-XX)

英特派克

软件作者:康奈尔,阿曼达E。;无冠,罗伯特M。
参考文献: 9种出版物(1993-2006)
相关软件: C-xsc2.0;枫树;PNM;语调90;国际实验室;轮廓/偏差…
主要领域: 积分方程组(45-XX);数值分析(65-XX);计算机科学(68-XX)

移动

软件作者:奥尔,叶卡捷琳娜;凯斯凯梅蒂,安德烈;Tändl,马丁;特雷津斯基,霍尔格
参考文献: 9种出版物(2001-2010)
相关软件: 轮廓/偏差;智能手机;塔迪夫;瓦伦西亚;舒适的;FADBAD++…
主要领域: 数值分析(65-XX);计算机科学(68-XX);粒子与系统力学(70-XX)

FORTRAN-XSC语言

软件作者:沃尔特,W.V。
参考文献: 8种出版物(1993-2000)
相关软件: 帕斯卡-XSC;C-XSC;ACRITH-XSC;国际图书馆;国际贸易银行;C-XSC 2.0版
主要领域: 常微分方程组(34-XX);数值分析(65-XX);计算机科学(68-XX)

缩醛

软件作者:伊布勒,因果;奈尔,马库斯
参考文献: 7种出版物(2003-2019)
相关软件: 语调90;filib++;C-xsc2.0;球溶胶;国际实验室;奥瑞代数…
主要领域: 复变函数(30-XX);特殊功能(33-XX);常微分方程(34-XX)

昂贵的

软件作者:奈尔,马库斯
参考文献: 6种出版物(2004-2018)
相关软件: 国际实验室;C-xsc2.0;filib++;Matlab语言;mpcheck公司;算法272…
主要领域: 一般性和全局性主题;收款(00-XX);复变函数(30-XX);动力系统与遍历理论(37-XX)

4百万

软件作者:臀部,齐格弗里德M。;奥拉夫·克努佩尔;J、 泽姆克
参考文献: 6种出版物(2003-2013)
相关软件: 国际实验室;Matlab语言;轮廓/偏差;国际图书馆;mc工具箱;维索夫特…
主要领域: 动力系统与遍历理论(37-XX);通用拓扑(54-XX);数值分析(65-XX)

野营

软件作者:米奥拉·约尔德;让-米歇尔-穆勒;瓦伦蒂娜波佩斯库;沃里克·塔克
参考文献: 5种出版物(2016-2020)
相关软件: MPFR;库达大学;弗洛克;成本;支票;三维阿尔法形状…
主要领域: 一般性和全局性主题;收款(00-XX);数值分析(65-XX);计算机科学(68-XX)

GNU Fortran语言

软件作者:  –
参考文献: 5种出版物(1999-2019)
相关软件: 布拉斯;简单刻度;轮廓/偏差;ACRITH-XSC公司
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);实函数(26-XX);常微分方程(34-XX)

xrc公司

软件作者:基思·布里格斯
参考文献: 5种出版物(2004-2007)
相关软件: 蟒蛇;伊洛姆;PNM;LBNL;RealLib公司;NTL公司
主要领域: 数理逻辑与基础(03-XX);数论(11-XX);数值分析(65-XX)

CADAC公司

软件作者:科恩,马蒂S。;船体,T.E。;哈马彻,V.卡尔
参考文献: 4种出版物(1983-2017)
相关软件: 视频处理接口;C-XSC;decNumber公司;dfp公司;轮廓/偏差;国际图书馆…
主要领域: 数值分析(65-XX);计算机科学(68-XX)

可可豆

软件作者:玛克特,米哈利克萨巴;希克,赫尔曼
参考文献: 4种出版物(2014-2017)
相关软件: 椰子;男爵;安提戈涅;数字;QuadProgBB;全球溶胶…
主要领域: 运筹学,数学规划(90-XX)

DSI工具箱

软件作者:奥尔·E·路德·W·雷布·G·林堡·P
参考文献: 2个出版物(2012-2013)
相关软件: 国际实验室;Matlab语言;symrcm公司;法斯皮尔斯;矩阵市场;布拉斯…
主要领域: 概率论与随机过程(60-XX);数值分析(65-XX)

浮点转换

软件作者:Malgorzata A.Jankowska公司
参考文献: 2种出版物(2013-2018)
相关软件:
主要领域: 偏微分方程组(35-XX);数值分析(65-XX);可变形固体力学(74-XX)

公司++

软件作者:海文嫩,E.,德帕斯卡尔,南部。
参考文献: 3种出版物(2002-2017)
相关软件: 语调90;日格洛普特拉布;UniCalc公司;尼莫+;PSICO公司;椰子…
主要领域: 数值分析(65-XX);计算机科学(68-XX)

国际的

软件作者:邦迪,艾伦
参考文献: 3本出版物(1984-1992)
相关软件: 按;麦克西马
主要领域: 数理逻辑与基础(03-XX);场论与多项式(12-XX);实函数(26-XX)

间隔算术.jl

软件作者:桑德斯,D.P.,贝内特,L。
参考文献: 2种出版物(2019-2021)
相关软件: 朱莉娅;ArbFloats.jl;泰勒积分.jl;MPFR;泰勒模型.jl;TaylorSeries.jl…
主要领域: 变分法与最优控制;优化(49-XX);粒子与系统力学(70-XX);系统论;控制(93-XX)

智能求解器

软件作者:蒂亚戈·蒙塔赫
参考文献: 3种出版物(2013-2018)
相关软件: 苍蝇;Matlab语言;帕斯卡-XSC;疯了;mc工具箱;国际实验室…
主要领域: 数论(11-XX);近似和展开(41-XX);数值分析(65-XX)

KS1 Sidedone示例

软件作者:J。兰德尔·布朗,米尔顿·E·哈维
参考文献: 出版1期(2016年)
相关软件: 精确的2个想法示例;数学;TIMP;枫树;k、 c;R
主要领域: 统计(62-XX)

多楔

软件作者:米查尔·科纳什,扬·杜拉茨
参考文献: 3种出版物(2014-2018)
相关软件: CK分析;泰勒;CAPD;dcc公司;国际实验室;为什么3…
主要领域: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)

夏洛克

软件作者:杜塔,苏拉迪普;陈欣;杰哈,苏米特;斯里拉姆Sankaranarayanan;蒂瓦里,阿什什
参考文献: 3种出版物(2019-2021)
相关软件: Reluplex公司;AI2型;马拉博;聚甲醛;雷克恩;nn控制器…
主要领域: 代数几何(14-XX);凸与离散几何(52-XX);计算机科学(68-XX)

表面动力学

软件作者:五。德勒克罗瓦,C.福格隆,S.勒列夫尔
参考文献: 3种出版物(2020-2021)
相关软件: 圣哲
主要领域: 复变函数(30-XX);多复变数与解析空间(32-XX);动力系统与遍历理论(37-XX)

顶度

软件作者:彼得·弗兰克、斯特凡·拉斯坎、托马斯·泽特库利奇
参考文献: 3种出版物(2015-2018)
相关软件: PHAT;古迪;AQCS;RSOLVER公司;梅塔尔斯基;斯马特利
主要领域: 数理逻辑与基础(03-XX);代数拓扑学(55-XX);数值分析(65-XX)

精确2 Sidedone示例

软件作者:J。棕色;米尔顿·哈维
参考文献: 出版1期(2016年)
相关软件: KS1 Sidedone示例;TIMP;枫树;数学;k、 c;R
主要领域: 统计(62-XX)

Ada的区间算法

软件作者:德米特里·A·卡扎科夫
参考文献: 2份出版物(2003年)
相关软件: Ada的模糊集;风险计算;斯塔图尔
主要领域: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

利巴法

软件作者:奥利维尔·盖伊、大卫·科若利、内森·J·赫斯特
参考文献: 1本出版物(2008年)
相关软件: 轮廓/偏差
主要领域: 数值分析(65-XX)

摩尔

软件作者:沃尔特·F·马斯卡伦哈斯
参考文献: 出版1期(2019年)
相关软件: filib++;轮廓/偏差;MPFR;金特瓦尔;监狱;C-XSC 2.0…
主要领域: 凸与离散几何(52-XX);数值分析(65-XX);运筹学,数学规划(90-XX)

倍频程

软件作者:奥利弗·海姆利希
参考文献: 2种出版物(2018-2020)
相关软件: 千伏;国际实验室;MPFR公司
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)

兰格实验室

软件作者:马特尔,M。
参考文献: 2个出版物(2018-2021)
相关软件: 普雷西萨;雏菊;github;f调谐器;德雷尔;z3…
主要领域: 数值分析(65-XX);计算机科学(68-XX)

山姆

软件作者:粒状,Stef;杰泽奎,法比安;王世岳;朱玉祥
参考文献: 2种出版物(2011-2020)
相关软件: 卡德纳;mc工具箱;XBLAS公司;算法524;LBNL;MPFR…
主要领域: 数值分析(65-XX);计算机科学(68-XX)

验证数字.jl

软件作者:贝内特,L.,桑德斯,D.P。
参考文献: 2个出版物(2021-2022)
相关软件: EAGO.jl;盒式磁带.jl;美因戈;杜松柏;正向差分;DCCP…
主要领域: 功能分析(46-XX);算子理论(47-XX);数值分析(65-XX)

阿尔恩

软件作者:米哈尔·科内尼
参考文献: 1本出版物(2014)
相关软件: 多楔体;伊洛姆
主要领域: 数值分析(65-XX)

去求积

软件作者:R。M、 斯莱文斯基
参考文献: 1本出版物(2015)
相关软件: 中性;github;朱莉娅;SCPACK公司;Ipopt公司;SC工具箱…
主要领域: 复变函数(30-XX);数值分析(65-XX)

轻松

软件作者:约翰·维夫洛特
参考文献: 1本出版物(2005年)
相关软件: 球溶胶;特殊价值;国际实验室
主要领域: 数理逻辑与基础(03-XX);数值分析(65-XX)

图书馆

软件作者:W。霍夫舒斯特,W.Krämer
参考文献: 1本出版物(2005年)
相关软件: filib++;轮廓/偏差;C-xsc2.0;C-XSC公司
主要领域: 数值分析(65-XX);运筹学,数学规划(90-XX)

科迪亚克

软件作者:马可·费利乌;亚伦·M·杜特尔;塞萨尔·穆诺兹;等等。
参考文献: 1次出版(2021年)
相关软件: 雷克恩;卡阿;萨波;github
主要领域: 计算机科学(68-XX)

MNPVFUZY公司

软件作者:桑帕约·费略,安东尼奥·卡洛斯;维尔拉斯科,马利;Tanscheit,里卡多
参考文献: 1本出版物(2012)
相关软件: 擅长
主要领域: 运筹学,数学规划(90-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

皮科索

软件作者:卡林尼克,N.,舒伯特,T.,阿尔布拉姆,E.,维默,R.,贝克尔,B。
参考文献: 1本出版物(2012)
相关软件: 帕萨特;帕米拉;徘徊;泽塔萨;安托姆;QMiraXT…
主要领域: 运筹学,数学规划(90-XX)

pybedtools公司

软件作者:瑞安·K·戴尔;布伦特·S·佩德森;亚伦·R·昆兰
参考文献: 0个出版物
相关软件: 价值;特拉维斯CI;试验;床具;R;贝多尔
主要领域:

皮克斯

软件作者:L。Jaulin,F.Le Bars,C.Aubry,V.Drevelle,S.Rohou,T.Le Mézo
参考文献: 1次出版(2021年)
相关软件: 管;间期算术.jl;github;朱莉娅;CAPD;麦考拉2
主要领域: 变分法与最优控制;优化(49-XX);系统论;控制(93-XX)

PyInterval公司

软件作者:斯特凡诺·塔奇尼
参考文献: 1份出版物(2020年)
相关软件: Matlab语言;aaflib公司;github;违约;流量*;C2e2…
主要领域: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)

不稳定ManifoldCompactMap

软件作者:医学博士米雷尔斯·詹姆斯。
参考文献: 出版1期(2017年)
相关软件: 国际实验室;Matlab语言
主要领域: 常微分方程组(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)

瓦尔尔

软件作者:Jay Hesselberth,Kent Riemondy
参考文献: 0个出版物
相关软件: 特拉维斯CI;试验;床具;pybedtools;R;贝多尔
主要领域:

雅拉

软件作者:基尔,S
参考文献: 0个出版物
相关软件: 易趣网;V形夹;Ipopt公司;C-XSC 2.0版
主要领域:

ATCase公司

软件作者:王丽蕾;曾、夏;林,王;陈欣;杨正峰
参考文献: 0个出版物
相关软件:
主要领域:

利伯多瓦尔

软件作者:约翰·维夫洛特
参考文献: 0个出版物
相关软件:
主要领域:

联合国大学

软件作者:拉斯洛亨霍尔德
参考文献: 0个出版物
相关软件:
主要领域: