×

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

国际实验室

引用于508份文件(1999–2024)
软件作者: 齐格弗里德·M·臀部。
相关软件: Matlab;mctoolbox;C-XSC 2.0…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

并入PT_90

310份文件引用(1996–2023)
软件作者: R.Baker Kearfott先生
相关软件: 国际实验室;C-XSC;个人资料/偏见…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

隔离

237篇文献引用(1999–2024)
软件作者: Fabrice Rouillier公司;保罗·齐默尔曼
相关软件: 克罗内克;FGb;枫树…
主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…

RODES公司

145篇文献引用(2002–2024)
软件作者: 沃里克·塔克
相关软件: 国际实验室;CAPD;泰勒…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

个人资料/偏差

132份文件引用(1979–2021)
软件作者: O.Knüppel。
相关软件: 进入PT_90;C-XSC;国际实验室…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…

宴会

101篇文献引用(2012–2024)
软件作者: Tang,Ping Tak Peter;埃里克·波利齐
相关软件: CIRR;lobpcg.m;JDQZ…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);算子理论(47-XX)…

mpmath(数学)

77份文件引用(2010–2024)
软件作者: 弗雷德里克·约翰逊
相关软件: SciPy;SageMath;SymPy…
主要字段: 数论(11-XX);特殊功能(33-XX);数值分析(65-XX)…

CAPD(机顶盒)

78篇文献引用(2005–2023)
软件作者: 格拉泽戈兹·贾布隆斯基(Grzegorz Jablonski);Kapela,T.、Mrozek,M.、Pilarczyk,P.、Wilczak,D.、Zgliczynski,P。
相关软件: 杆;泰勒;国际实验室…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

RealPaver公司

51篇文献引用(2003–2017)
软件作者: 劳伦特·格兰维尔(Laurent Granvilliers)
相关软件: 数字;进入PT_90;监狱…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

ACRITH-XSC公司

48篇文献引用(1985–2019)
软件作者: 沃尔夫冈·沃尔特。
相关软件: C-XSC;C-XSC 2.0;PASCAL-XSC…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

MPFI公司

47篇文献引用(1979年-2023年)
软件作者: Nathalie Revol;法布里斯·鲁利耶
相关软件: MPFR;C-XSC 2.0;隔离…
主要字段: 数论(11-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

CORA公司

在35份文件中引用(2016–2023)
软件作者: 马蒂亚斯·阿尔霍夫(Matthias Althoff)、尼古拉斯·科奇杜姆普(Niklas Kochdumper)
相关软件: 流量*;SpaceEx;C2e2…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

INTBIS公司

31份文件引用(1990–2018)
软件作者: Kearfott,R.Baker;曼努埃尔三世诺沃亚
相关软件: INTLIB;IbexOpt;数值…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

基准

28篇文献引用(2005–2023)
软件作者: 斯特凡·拉特肖恩(Stefan Ratschan);她,志坤
相关软件: RSOLVER公司;HSolver;高科技…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…

国际图书馆

28篇文献引用(1992–2018)
软件作者: Kearfott,R.B。;达旺德,M。;胡,C。
相关软件: 剖面/偏差;国际实验室;C-XSC…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);经典热力学,传热(80-XX)…

RAMAS风险计算

19份文件引用(2003–2023)
软件作者: 弗森S。
相关软件: 挪威国家石油公司;概率界限分析.jl;达科塔…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

立方厘米(FD)

18篇文献引用(1998–2022)
软件作者: 范·亨特利克(Van Hentenryck),帕斯卡(Pascal);维杰·萨拉斯瓦特;伊夫·迪维尔
相关软件: CPLEX;彗星;Choco…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

瓦伦西亚

19份文件引用(2008–2020)
软件作者: A.劳赫;霍弗,E.P。;E.奥尔。
相关软件: 缬氨酸IVP;舒适的;FADBAD++…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

Boost Interval算术

18篇文献引用(2005–2023)
软件作者: 埃尔维·布伦尼曼;梅尔金德(Melquiond)、纪尧姆(Guillaume);西尔万·皮昂
相关软件: 促进;libMC;filib++…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

监狱

14篇文献引用(2004–2023)
软件作者: F.古拉德。
相关软件: 剖面/偏差;filib++;INTLAB…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

IBEX公司

14篇文献引用(2009–2023)
软件作者: 查伯特,G;约旦尼宁
相关软件: 丝状体++;数字;个人资料/偏见…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

虚拟专用接口

14篇文献引用(1993–2005)
软件作者: 杰弗里·伊利。
相关软件: Verilog;CADAC;C-XSC…
主要字段: 历史与传记(01-XX);复变量函数(30-XX);数值分析(65-XX)…

希克莫

13份文件引用(2016–2023)
软件作者: 尼尔·霍夫曼;一原、和弘;Masahide Kashiwagi;Hidetoshi Masai;小石、神道;秋藤忠雄(Takayasu,Akitoshi)
相关软件: SnapPy;SnapPea;GitHub…
主要字段: 代数拓扑(55-XX);歧管和细胞复合体(57-XX);整体分析,流形分析(58-XX)…

intpakX公司

12份文件引用(2003–2023)
软件作者: 沃尔特·克雷默
相关软件: 枫树;国际实验室;C-XSC 2.0…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);凸和离散几何(52-XX);数值分析(65-XX)…

变速驱动桥

12份文件引用(2009–2019)
软件作者: V.Härter;C.詹森;M.兰格
相关软件: 莫塞克;塞杜米;YALMIP…
主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

间隔_ARITHMETIC

9份文件引用(1996–2017)
软件作者: R.Baker Kearfott先生
相关软件: INTLIB;进入PT_90;Matlab…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);统计学(62-XX)…

INTPAK公司

9份文件引用(1993–2006)
软件作者: 阿曼达·E·康奈尔。;罗伯特·M·科尔利斯(Robert M.Corless)。
相关软件: C-XSC 2.0;枫树;PNM…
主要字段: 积分方程(45-XX);数值分析(65-XX);计算机科学(68-XX)…

移动

9份文件引用(2001–2010)
软件作者: 叶卡捷琳娜·奥尔;安德烈斯·凯斯科梅西;Tändl,Martin;霍尔格·特雷钦斯基
相关软件: 剖面/偏差;智能手机;TADIFF…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…

FORTRAN-XSC公司

引用于8份文件(1993–2000)
软件作者: 沃尔特,W.V。
相关软件: PASCAL-XSC;C-XSC;ACRITH-XSC…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

ACETAF公司

7份文件引用(2003年至2019年)
软件作者: 埃布尔(Eble)、英戈(Ingo);马库斯·尼赫尔
相关软件: 进入PT_90;filib++;C-XSC 2.0…
主要字段: 复变量函数(30-XX);特殊功能(33-XX);常微分方程(34-XX)…

露营地

7份文件引用(2016–2023)
软件作者: Mioara Joldes公司;Jean-Michel Muller;瓦伦蒂娜·波佩斯库;沃里克塔克
相关软件: MPFR;LBNL;MPFI…
主要字段: 总体主题;藏品(00-XX);代数几何(14-XX);数值分析(65-XX)…

CoStLy公司

6篇文献引用(2004–2018)
软件作者: 马库斯·尼赫尔
相关软件: 国际实验室;C-XSC 2.0;filib++…
主要字段: 总体主题;藏品(00-XX);复变量函数(30-XX);动力系统和遍历理论(37-XX)…

GNU Fortran公司

7份文件引用(1999–2022)
软件作者:
相关软件: GFortran;BLAS;SimpleScalar…
主要字段: 实函数(26-XX);偏微分方程(35-XX);数值分析(65-XX)…

表面动力学

7份文件引用(2020–2023)
软件作者: V.Delecroix、C.Fougeron、S.Lelievre
相关软件: SageMath公司
主要字段: 代数几何(14-XX);复变量函数(30-XX);几个复变量和分析空间(32-XX)…

xrc公司

7份文件引用(2004–2023)
软件作者: 凯斯·布里格斯
相关软件: 真实伦敦银行同业拆借利率;蟒蛇;iRRAM…
主要字段: 数学逻辑与基础(03-XX);数论(11-XX);数值分析(65-XX)…

b4米

6篇文献引用(2003–2013)
软件作者: 齐格弗里德·M·臀部。;奥拉夫·库佩尔(Olaf Knüppel);J.泽姆克
相关软件: 国际实验室;Matlab;mctoolbox…
主要字段: 动力系统与遍历理论(37-XX);一般拓扑(54-XX);数值分析(65-XX)…

区间算术.jl

5份文件引用(2019–2023)
软件作者: 桑德斯,D.P.,贝内特,L。
相关软件: 朱莉娅;github;概率界限分析.jl…
主要字段: 偏微分方程(35-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…

夏洛克

6篇文献引用(2019–2022)
软件作者: Souradeep杜塔;陈欣;Jha,Susmit;桑卡拉纳拉亚南,斯里拉姆;阿什什·蒂瓦里
相关软件: NNV;Reluplex;CORA…
主要字段: 代数几何(14-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

coco_gop_ex公司

5份文件引用(2014–2021)
软件作者: 马科特,米哈利·萨巴;赫尔曼·施奇尔
相关软件: 椰子;男爵;QuadProgBB…
主要字段: 运筹学,数学编程(90-XX)

KS1侧面一个样品

3份文件引用(2016–2023)
软件作者: J.Randall Brown、Milton E.Harvey
相关软件: 精确KS2SidedOneSample;k.c;数学…
主要字段: 统计学(62-XX)

顶部Deg

5份文件引用(2015–2023)
软件作者: 彼得·弗兰内克(Peter Franek)、斯特凡·拉思坎(Stefan Ratschan)、托马斯·泽特库里克(Tomas Dzetkulic)
相关软件: HIBA_USNE;丝状体++;进入PT_90…
主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);数值分析(65-XX)…

CADAC公司

4份文件引用(1983年至2017年)
软件作者: 马蒂·科恩(Marty S.Cohen)。;船体,T.E。;V.Carl哈马赫
相关软件: VPI;C-XSC;decNumber…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

精确KS2SidedOneSample

3份文件引用(2016–2023)
软件作者: J.Brown;米尔顿·哈维
相关软件: KS1 SidedOne样品;k.c;设置测试…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX)

摩尔

3份文件引用(2019–2023)
软件作者: 沃尔特·马斯卡伦哈斯
相关软件: filib++;JInterval;C-XSC 2.0…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

验证数字.jl

4份文件引用(2019–2023)
软件作者: Benet,L.、Sanders,D.P。
相关软件: github;摩尔;倍频程…
主要字段: 功能分析(46-XX);算子理论(47-XX);数值分析(65-XX)…

DSI工具箱

引用于2份文件(2012–2013)
软件作者: 奥尔·E、路德·W、雷伯纳·G、林堡·P
相关软件: Matlab;国际实验室;symrcm…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX)

浮点转换

引用于2份文件(2013–2018)
软件作者: 马尔戈扎塔·扬科夫斯卡
相关软件: COMSOL公司
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)

InC公司++

3份文件引用(2002–2017)
软件作者: Hyvönen,E.,De Pascale,S。
相关软件: 进入PT_90;JGloptLab;UniCalc…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

国际的

3份文件引用(1984–1992)
软件作者: 阿兰·邦迪
相关软件: 新闻;伊斯兰教
主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);实函数(26-XX)…

积分求解器

3份文件引用(2013–2018)
软件作者: 蒂亚戈·蒙塔赫
相关软件: Flyspeck;Matlab;PASCAL-XSC…
主要字段: 数论(11-XX);近似和展开(41-XX);数值分析(65-XX)…

倍频程间隔

3份文件引用(2018–2023)
软件作者: 奥利弗·海姆利希
相关软件: 国际实验室;摩尔;ValidatedNumerics.jl…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)

PolyPaver公司

3份文件引用(2014–2018)
软件作者: 米查尔·科内奇、扬·杜拉茨
相关软件: CkAnalytic;泰勒;大写…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)

RangeLab公司

3份文件引用(2018–2021)
软件作者: 马特尔,M。
相关软件: PRECiSA公司;促进;Boost Interval算术…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

Ada的区间算法

引用于2份文件(2003)
软件作者: 德米特里·A·哈萨克夫
相关软件: Ada的模糊集;RAMAS风险计算;挪威国家石油公司
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

利巴法

1份文件引用(2008)
软件作者: Olivier Gay、David Coeurjolly、Nathan J.Hurst
相关软件: 个人资料/偏差
主要字段: 数值分析(65-XX)

山姆

引用于2份文件(2011–2020)
软件作者: 斯特夫·格雷亚特;法比安·杰泽奎尔;王世岳;朱玉祥
相关软件: CADNA;算法524;mctoolbox…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

AERN公司

1份文件引用(2014)
软件作者: 米查尔·科内克尼
相关软件: PolyPaver;国际RRAM
主要字段: 数值分析(65-XX)

DE正交

1份文件引用(2015)
软件作者: R.M.斯莱文斯基
相关软件: SC工具箱;朱莉娅;中性…
主要字段: 复变量函数(30-XX);数值分析(65-XX)

Easyval公司

1份文件引用(2005)
软件作者: 约翰·维夫洛特
相关软件: 国际实验室;全球溶胶;特殊价值
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX)

FI_LIB(流动注射)

1份文件引用(2005)
软件作者: W.Hofschuster,W.Krämer
相关软件: filib++;剖面/偏差;C-XSC 2.0…
主要字段: 数值分析(65-XX);运筹学,数学编程(90-XX)

FP泰勒

1份文件引用(2022)
软件作者: 阿列克谢·索洛维耶夫;马雷克·巴拉诺夫斯基。;布里格斯·伊恩;查尔斯·雅各布森;拉库马里奇,兹沃尼米尔;加内什·戈帕拉克里什南
相关软件: dReal;HOL灯;QEPCAD…
主要字段: 计算机科学(68-XX)

科迪亚克

1份文件引用(2021)
软件作者: 马可·费利乌(Marco A.Feliu);Aaron M.Dutle;塞萨尔·穆尼奥斯(Cesar A.Munoz);等。
相关软件: ReachNN;Kaa;Sapo…
主要字段: 计算机科学(68-XX)

MNP模糊

1份文件引用(2012)
软件作者: 安东尼奥·卡洛斯(Antonio Carlos)桑帕约·菲略(Sampaio Filho);马利·维尔拉斯科(Marley Vellasco);里卡多·坦谢特
相关软件: 擅长
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

皮科索

1份文件引用(2012)
软件作者: Kalinnik,N.、Schubert,T.、Al brahám,E.、Wimmer,R.、Becker,B。
相关软件: MiniSat;SATO;玲玲…
主要字段: 运筹学,数学编程(90-XX)

pybed工具

在0个文档中引用
软件作者: Ryan K.Dale;Brent S.Pedersen;亚伦·R·昆兰
相关软件: 价值;特拉维斯CI;测试…
主要字段:

pyIbex公司

1份文件引用(2021)
软件作者: L.Jaulin、F.Le Bars、C.Aubry、V.Drevelle、S.Rohou、T.Le Mezo
相关软件: Tubex;github;间隔算术.jl…
主要字段: 变异微积分和最优控制;优化(49-XX);系统论;控制(93-XX)

PyInterval(Py间隔)

1份文件引用(2020)
软件作者: 斯特凡诺·塔奇尼
相关软件: Matlab;C2e2;GitHub…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)

不稳定的歧管CompactMap

1份文件引用(2017)
软件作者: Mireles-James,J.D。
相关软件: 国际实验室;Matlab公司
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)

瓦尔

在0个文档中引用
软件作者: 杰伊·赫塞尔伯思,肯特·里蒙迪
相关软件: 特拉维斯CI;测试;BED工具…
主要字段:

YalAA公司

在0个文档中引用
软件作者: 基尔,南卡罗来纳州
相关软件: IbexOpt;V形夹;Ipopt…
主要字段:

ATCase公司

在0个文档中引用
软件作者: 王丽蕾;曾、夏;Lin,Wang;陈欣;杨正峰
相关软件:
主要字段:

Unum公司

在0个文档中引用
软件作者: 拉斯洛·亨霍德
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件